Sciweavers

615 search results - page 64 / 123
» High-Level Nondeterministic Abstractions in
Sort
View
IICAI
2007
15 years 3 months ago
Modeling Temporal Behavior via Structured Hidden Markov Models: an Application to Keystroking Dynamics
Structured Hidden Markov Models (S-HMM) are a variant of Hierarchical Hidden Markov Models; it provides an abstraction mechanism allowing a high level symbolic description of the k...
Ugo Galassi, Attilio Giordana, Charbel Julien, Lor...
IJCAI
2007
15 years 3 months ago
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems
ESSENCE is a new formal language for specifying combinatorial problems in a manner similar to natural rigorous specifications that use a mixture of natural language and discrete ...
Alan M. Frisch, Matthew Grum, Christopher Jefferso...
BPM
2009
Springer
146views Business» more  BPM 2009»
15 years 2 months ago
Extending a Business Process Modeling Tool With Process Configuration Facilities: The Provop Demonstrator
This tool demonstration presents an extension of the ARIS Business Architect in order to better cope with the high variability of business process models in practice. This extensio...
Manfred Reichert, Steve Rechtenbach, Alena Hallerb...
107
Voted
CORIA
2009
15 years 2 months ago
Aggregated search: From information nuggets to aggregated documents
The aggregated search assembles in one interface information from different sources. It deals with different types of content (text, video, image, etc) and granularities of retriev...
Arlind Kopliku
CORR
2010
Springer
138views Education» more  CORR 2010»
15 years 1 months ago
Optimal Path Planning under Temporal Logic Constraints
Abstract-- In this paper we present a method for automatically generating optimal robot trajectories satisfying high level mission specifications. The motion of the robot in the en...
Stephen L. Smith, Jana Tumova, Calin Belta, Daniel...