1830 search results - page 240 / 366 » Centering in Dynamic Semantics |
CIE
2007
Springer
15 years 3 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Given the huge amount of static and dynamic content created for eLearning tasks, the major challenge for extending their use is to improve the effectiveness of retrieval ...
115
click to vote
ROBOCUP
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. Constraint Nets provide a semantic model for modeling hybrid dynamic systems. Controllers are embedded constraint solvers that solve constraints in real-time. A controlle...
ICALP
1997
Springer
15 years 3 months ago
1997
Springer
In this paper we develop a new elementary algorithm for model-checking infinite sequential processes, including context-free processes, pushdown processes, and regular graphs, tha...
EKAW
2008
Springer
15 years 1 months ago
2008
Springer
As knowledge engineering moves to the Semantic Web, ontologies become dynamic products of collaborative development rather than artifacts produced in a closed environment of a sing...