517 search results - page 40 / 104 » On the Intended Interpretations of Actions |
CGF
2010
14 years 11 months ago
2010
Reconstructing boundaries along material interfaces from volume fractions is a difficult problem, especially because the under-resolved nature of the input data allows for many co...
COLING
2010
14 years 5 months ago
2010
This paper presents the novel task of best topic word selection, that is the selection of the topic word that is the best label for a given topic, as a means of enhancing the inte...
82
Voted
CEEMAS
2003
Springer
15 years 4 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...
ASM
2000
ASM
15 years 3 months ago
2000
ASM
Abstract. The Abstract State Machines (ASM) methodology is a methodology for formally specifying computing systems. We use the ASM methodology to give the dynamic semantics of the ...
SCAI
2008
15 years 8 days ago
2008
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...