Sciweavers

3053 search results - page 131 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
113
Voted
ECSQARU
2007
Springer
15 years 9 months ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
133
Voted
VRML
2000
ACM
15 years 7 months ago
3D behavioral model design for simulation and software engineering
Modeling is used to build structures that serve as surrogates for other objects. As children, we learn to model at a very young age. An object such as a small toy train teaches us...
Paul A. Fishwick
152
Voted
ECOOPW
2008
Springer
15 years 5 months ago
Equation-Based Object-Oriented Languages and Tools
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
Peter Fritzson, David Broman, François Cell...
ICMCS
2006
IEEE
90views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Fast Video Object Selection for Interactive Television
In this paper, we study the problem of the fast selection of video objects, as an aid for the efficient semi-automatic annotation of video programs. In a regular system, the user ...
Rémi Trichet, Bernard Mérialdo
BIRTHDAY
2009
Springer
15 years 1 months ago
Some Notes on Models and Modelling
Analytical models are a fundamental tool in the development of computer-based systems of every kind: their essential purpose is to support human understanding and reasoning in deve...
Michael Jackson