Sciweavers

911 search results - page 74 / 183
» The Semantics of Event Prevention
Sort
View
ATVA
2007
Springer
153views Hardware» more  ATVA 2007»
15 years 4 months ago
Continuous Petri Nets: Expressive Power and Decidability Issues
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...
Laura Recalde, Serge Haddad, Manuel Silva
SERP
2003
14 years 11 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
LANMR
2004
14 years 11 months ago
New Semantics for Hybrid Probabilistic Programs
Hybrid probabilistic programs framework [5] is a variation of probabilistic annotated logic programming approach, which allows the user to explicitly encode the available knowledge...
Emad Saad
ETS
2007
IEEE
76views Hardware» more  ETS 2007»
14 years 9 months ago
Lifelong Learning Organisers: Requirements for Tools for Supporting Episodic and Semantic Learning
We propose Lifelong Learning Organisers (LLOs) as tools to support the capturing, organisation and retrieval of personal learning experiences, resources and notes, over a range of...
Giasemi N. Vavoula, Mike Sharples
SSD
2009
Springer
91views Database» more  SSD 2009»
15 years 4 months ago
Semantic Trajectory Compression
In the light of rapidly growing repositories capturing the movement trajectories of people in spacetime, the need for trajectory compression becomes obvious. This paper argues for ...
Falko Schmid, Kai-Florian Richter, Patrick Laube