Sciweavers

5203 search results - page 785 / 1041
» An approach to workflow modeling and analysis
Sort
View
GECCO
2010
Springer
189views Optimization» more  GECCO 2010»
15 years 11 months ago
Knowledge mining with genetic programming methods for variable selection in flavor design
This paper presents a novel approach for knowledge mining from a sparse and repeated measures dataset. Genetic programming based symbolic regression is employed to generate multip...
Katya Vladislavleva, Kalyan Veeramachaneni, Matt B...
KBSE
1998
IEEE
15 years 11 months ago
Planning Equational Verification in CCS
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
Raul Monroy, Alan Bundy, Ian Green
AAAI
2008
15 years 9 months ago
Multimodal People Detection and Tracking in Crowded Scenes
This paper presents a novel people detection and tracking method based on a multi-modal sensor fusion approach that utilizes 2D laser range and camera data. The data points in the...
Luciano Spinello, Rudolph Triebel, Roland Siegwart
ER
2008
Springer
117views Database» more  ER 2008»
15 years 8 months ago
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
Due to a turbulent market enterprises should be able to adapt their business processes in a quick and flexible way. This requires adaptive process-aware information systems (PAISs)...
Stefanie Rinderle-Ma, Manfred Reichert, Barbara We...
ESWS
2008
Springer
15 years 8 months ago
Resolving Lexical Ambiguities in Folksonomy Based Search Systems through Common Sense and Personalization
Information on Web2.0, generated by users of web based services, is both difficult to organize and organic in nature. Content categorization and search in such situation offers cha...
Mohammad Nauman, Shahbaz Khan 0003, Muhammad Amin,...