1364 search results - page 215 / 273 » Comparative Branching-Time Semantics |
131
click to vote
DCOSS
2007
Springer
15 years 10 months ago
2007
Springer
Macroprogramming—the technique of specifying the behavior of the system, as opposed to the constituent nodes—provides application developers with high level abstractions that a...
156
click to vote
ECML
2007
Springer
15 years 10 months ago
2007
Springer
The availability of techniques for comparing descriptions has many applications in Artificial Intelligence, ranging from description selection to flexible matching, from instance...
128
click to vote
ER
2007
Springer
15 years 10 months ago
2007
Springer
Model transformations are playing a vital role in the field of model engineering. However, for non-trivial transformation issues most approaches require imperative definitions, w...
124
click to vote
GEOS
2007
Springer
15 years 10 months ago
2007
Springer
In geospatial applications with heterogeneous classification schemes that describe related domains, an ontology-driven approach to data sharing and interoperability relies on the ...
IVA
2007
Springer
15 years 10 months ago
2007
Springer
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...