4485 search results - page 179 / 897 » Equivalences on Observable Processes |
127
click to vote
AAAI
2007
15 years 5 months ago
2007
A Situated Conversational Agent (SCA) is an agent that engages in dialog about the context within which it is embedded. Situated dialog is characterized by its deep connection to ...
134
click to vote
NIPS
2008
15 years 4 months ago
2008
Our setting is a Partially Observable Markov Decision Process with continuous state, observation and action spaces. Decisions are based on a Particle Filter for estimating the bel...
135
click to vote
CSFW
2008
IEEE
15 years 9 months ago
2008
IEEE
Secure communication in distributed systems is notoriously hard to achieve due to the variety of attacks an adversary can mount, based on message interception, modification, redi...
151
click to vote
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
127
click to vote
DATE
2005
IEEE
15 years 9 months ago
2005
IEEE
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...