3053 search results - page 196 / 611 » Structured Objects: Modeling and Reasoning |
127
click to vote
NIPS
2007
15 years 5 months ago
2007
Natural sounds are structured on many time-scales. A typical segment of speech, for example, contains features that span four orders of magnitude: Sentences (ā¼1 s); phonemes (ā...
126
click to vote
AUSAI
2005
Springer
15 years 9 months ago
2005
Springer
The key problem in applying veriļ¬cation techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
140
Voted
JAIR
2008
15 years 3 months ago
2008
This paper presents Networks of Influence Diagrams (NID), a compact, natural and highly expressive language for reasoning about agents' beliefs and decision-making processes....
167
click to vote
LICS
2009
IEEE
15 years 10 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
143
click to vote
JUCS
2007
15 years 3 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several speciļ¬cation and analysis techniques appropriate for modeling, pro...