Sciweavers

2302 search results - page 343 / 461
» Modeling Intergovernmental Collaboration: A System Dynamics ...
Sort
View
ICWS
2008
IEEE
15 years 5 months ago
Discovering Reference Process Models by Mining Process Variants
Recently, a new generation of adaptive Process-Aware Information Systems (PAIS) has emerged, which allows for dynamic process and service changes (e.g., to insert, delete, and mov...
Chen Li, Manfred Reichert, Andreas Wombacher
HCI
2001
15 years 5 months ago
Structureless, intention-guided web sites: planning based adaptation
The great variety of users of the services available on the internet raised the problem of finding flexible forms of presentation and interaction, which depend on the specific user...
Matteo Baldoni, Cristina Baroglio, Viviana Patti
MVA
1996
107views Computer Vision» more  MVA 1996»
15 years 5 months ago
A Kalman Filter-Based Update Scheme for Road Following
We propose a new approach for vision based road following. The approach is tailored to a well structured highway environment with lane markers. Lane markers are detected and used ...
Hichem Sahli, Patrick de Muynck, Jan Cornelis
SSD
2007
Springer
124views Database» more  SSD 2007»
15 years 10 months ago
Querying Objects Modeled by Arbitrary Probability Distributions
In many modern applications such as biometric identification systems, sensor networks, medical imaging, geology, and multimedia databases, the data objects are not described exact...
Christian Böhm, Peter Kunath, Alexey Pryakhin...
ICCAD
2004
IEEE
191views Hardware» more  ICCAD 2004»
16 years 1 months ago
Checking consistency of C and Verilog using predicate abstraction and induction
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
Daniel Kroening, Edmund M. Clarke