1395 search results - page 159 / 279 » Incremental Construction Approach for Distributed System Spe... |
AIIDE
2006
14 years 11 months ago
2006
1 In this document, we describe our work applying natural language (NL) technologies to improve non-player character (NPC) dialog interactions in games, specifically role-playing g...
SMARTNET
2000
14 years 11 months ago
2000
: Due to the deregulation of the telecom network and the Internet, users will have access to an increasing number of heterogeneous communication services and will need to adapt the...
ICDCSW
2007
IEEE
15 years 4 months ago
2007
IEEE
We have developed a data stream management system that supports declarative stream queries running over high data volumes in a supercomputing environment. To enable specification ...
JFP
2008
14 years 8 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...