2911 search results - page 421 / 583 » A Theory of Expressiveness in Mechanisms |
125
click to vote
IJFCS
2006
15 years 1 months ago
2006
We introduce the networks of Mealy multiset automata, and study their computational power. The networks of Mealy multiset automata are computationally complete. 1 Learning from Mo...
142
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: The advent of the technology of DNA microarrays constitutes an epochal change in the classification and discovery of different types of cancer because the information ...
147
click to vote
AAMAS
1999
Springer
15 years 1 months ago
1999
Springer
: Although avatars may resemble communicative interface agents, they have for the most part not profited from recent research into autonomous embodied conversational systems. In pa...
143
click to vote
PEPM
2011
ACM
14 years 4 months ago
2011
ACM
Navigating through tree structures is a core operation in tree processing programs. Most notably, XML processing programs intensively use XPath, the path specification language t...
106
click to vote
SIGSOFT
2005
ACM
16 years 2 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...