1524 search results - page 58 / 305 » Operational Semantics of Hybrid Systems |
COLING
2000
14 years 11 months ago
2000
We propose a new inference system which operates on underspecified semantic representations of scope and anaphora. This system exploits anaphoric accessibility conditions from dyn...
CIKM
2010
Springer
14 years 8 months ago
2010
Springer
One of the main problems in online advertising is to display ads which are relevant and appropriate w.r.t. what the user is looking for. Often search engines fail to reach this go...
LICS
2000
IEEE
15 years 2 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
ISDA
2005
IEEE
15 years 3 months ago
2005
IEEE
Crew grouping is an important problem and formulating a good solution always involves many challenges. For example, grouping soldiers intelligently to tank combat units, we should...
COORDINATION
2006
Springer
15 years 1 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...