Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleMarch 2018
Database engines on multicores scale: A practical approach
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 2335–2340https://doi.org/10.1145/2695664.3200145Multicore processors are available for over a decade, being the norm for current computer systems, but general purpose database management systems (DBMS) still cannot fully explore the computational resources of these platforms. We focus on In-Memory ...
- short-paperApril 2015
Classification model for predicting cost slippage in governmental ICT projects
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1238–1241https://doi.org/10.1145/2695664.2699494In this paper we present a classification model for predicting cost slippage using data mining techniques. The model uses the initial planning of an ICT project in terms of budget and schedule and then predicts the category of cost slippage of the ...
- research-articleApril 2015
Mining processes with multi-instantiation
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1231–1237https://doi.org/10.1145/2695664.2699493Process mining, in particular discovering process models by mining event traces, is becoming a widely adopted practice. However, when the underlying process contains subprocesses which are instantiated multiple times in parallel, classical process ...
- research-articleApril 2015
Modelling strategy with ArchiMate
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1211–1218https://doi.org/10.1145/2695664.2699489This paper investigates whether the ArchiMate modelling language can be used to model the most commonly used strategy models and concepts. This can be considered as an important step into closing the gap between Business and IT. By having a better ...
- research-articleApril 2015
Using ArchiMate to model a process assessment framework
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1189–1194https://doi.org/10.1145/2695664.2699486The Tudor IT Service Management Process Assessment, also known as TIPA, is a process assessment framework that meets two standards: the ISO/IEC 15504 Process Assessment and ITIL. The main benefits of a TIPA for ITIL assessment are to provide an IT ...
-
- short-paperApril 2015
Multi-document text summarization for competitor intelligence: a methodology based on topic identification and artificial bee colony optimization
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1110–1111https://doi.org/10.1145/2695664.2696073Today's extremely competitive business landscape necessitates regular information gathering about competitor companies by every organization. With increasing adoption of Internet and various social media technologies by companies, the web has become a ...
- short-paperApril 2015
Color image quantization using interactive genetic algorithm
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 139–140https://doi.org/10.1145/2695664.2696066Color image quantization is one of the most widely used image processing techniques, where the number of colors used in the image is to be reduced to a specific value.[2] The aim of the task is to minimize the distortion from the original image. In ...
- short-paperApril 2015
Formalising the SECD machine with nominal Isabelle
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1823–1824https://doi.org/10.1145/2695664.2696065Charguéraud [6] lists three ways of verifying functional programs: first is to define Hoare triples, second is to define programs directly in a theorem prover, that is shallow embedding and the third is to define the semantics of the language in the ...
- short-paperApril 2015
A parallel genetic algorithms framework based on Hadoop MapReduce
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1664–1667https://doi.org/10.1145/2695664.2696060This paper describes a framework for developing parallel Genetic Algorithms (GAs) on the Hadoop platform, following the paradigm of MapReduce. The framework allows developers to focus on the aspects of GA that are specific to the problem to be ...
- short-paperApril 2015
Verifying eventuality properties of imprecise system requirements using event-B
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1651–1653https://doi.org/10.1145/2695664.2696038Formally checking properties of functional requirements needs precise descriptions. However, the stakeholders sometimes describe the system with ambiguous, vague or fuzzy terms, hence formal frameworks for modeling and verifying such requirements are ...
- short-paperApril 2015
Sustaining mutual cooperation in iterated prisoner's dilemma game
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 335–337https://doi.org/10.1145/2695664.2696031In this paper, we study the conditions under which mutual cooperation among one-step memory evolutionary agents instochastic iterated prisoner's dilemma game platform can be sustained. The agents evolve along the gradient of the payoff field. A metric ...
- short-paperApril 2015
NVL: a coordination language for unmanned vehicle networks
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 331–334https://doi.org/10.1145/2695664.2696029The coordinated use of multiple unmanned vehicles over a network can be employed for numerous real-world applications. However, multi-vehicle operations are often deployed through a patchwork of separate components that informally "glue" together during ...
- short-paperApril 2015
ORCAS: optimized robots configuration and scheduling system
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 327–330https://doi.org/10.1145/2695664.2696024In this paper, we study a distributed intelligent multi-robot system (MRS) in assembly setting where robots have partially overlapping capabilities. We treat the problem of the system's self-(re)configurability and self-optimization. In this light, we ...
- short-paperApril 2015
Evaluation of a haptic virtual reality simulator for endodontics training
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 267–269https://doi.org/10.1145/2695664.2696016The usage of haptic simulators in Odontology has been growing in recent years. With them, users can employ rotational instruments attached to force-feedback devices to achieve various manoeuvres atop a simulated tooth. There is, however, one speciality ...
- short-paperApril 2015
Using fractal clustering to explore behavioral correlation: a new approach to reduce energy consumption in WSN
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 589–591https://doi.org/10.1145/2695664.2696007Sensor clustering is an efficient strategy to reduce the number of messages flowing in a Wireless Sensor Network (WSN) and thereby reducing the energy consumption. This paper presents a new approach to cluster sensors in WSNs, called Behavioral ...
- short-paperApril 2015
Crucial components in probabilistic inference pipelines
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 1887–1889https://doi.org/10.1145/2695664.2696006ProbLog [7, 10] is a general purpose Probabilistic Logic Programming (PLP) language. It extends Prolog with uncertain knowledge encoded as probabilistic facts. A probabilistic fact, p: f states that the fact f is true with probability p.
- short-paperApril 2015
Efficient approach for reusing and sharing train driving plans using case-based reasoning
- André P. Borges,
- Osmar B. Dordal,
- Denise M. V. Sato,
- Fabrício Enembreck,
- Bráulio C. Ávila,
- Edson E. Scalabrin
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 505–508https://doi.org/10.1145/2695664.2696004This paper presents an efficient collaboration approach for reusing and sharing freight train driving plans P using case-based reasoning (CBR). P is formed by a set of actions that can move a train from one end to the other in a railroad. Collaboration ...
- short-paperApril 2015
Multi-store metadata-based supervised mobile app classification
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 585–588https://doi.org/10.1145/2695664.2695997The mass adoption of smartphone and tablet devices has boosted the growth of the mobile applications market. Confronted with a huge number of choices, users may encounter difficulties in locating the applications that meet their needs. Sorting ...
- short-paperApril 2015
A supervised machine learning approach for taxonomic relation recognition through non-linear enumerative structures
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 423–425https://doi.org/10.1145/2695664.2695988Improving relation extraction process requires to have a better insight of the proper text or to use external resources. Our work lies in the first term of this alternative, and aim at extending works about semantic relation identification in texts for ...
- short-paperApril 2015
Evolving regression trees robust to missing data
SAC '15: Proceedings of the 30th Annual ACM Symposium on Applied ComputingApril 2015, Pages 102–109https://doi.org/10.1145/2695664.2695976Data quality is a major concern in several fields of knowledge that rely on data analysis. Missing data, in particular, have a strong negative impact in machine learning, potentially harming the knowledge extraction process by skewing results and ...