2696 search results - page 372 / 540 » Semantic Abstraction and Anaphora |
155
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recent investigations have shown that the automated verification of continuous-time Markov chains (CTMCs) against CSL (Continuous Stochastic Logic) can be performed in a...
170
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
154
click to vote
AOSE
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
164
click to vote
DSVIS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
166
click to vote
CIA
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. We present an intelligent information agent that uses semantic methods and natural language processing capabilites in order to gather tourist information from the WWW and...