1788 search results - page 334 / 358 » Model Theory for Process Algebra |
167
click to vote
ERCIMDL
2009
Springer
15 years 10 months ago
2009
Springer
Curated databases are databases that are populated and updated with a great deal of human effort. Most reference works that one traditionally found on the reference shelves of li...
192
click to vote
AGENTS
2000
Springer
15 years 10 months ago
2000
Springer
This paper attempts to articulate the general role of infrastructure for multi-agent systems (MAS), and why infrastructure is a particularly critical issue if we are to increase th...
158
click to vote
DGO
2008
15 years 7 months ago
2008
Supporting public participation is often a key goal in the design of digital government systems. However, years of work may be required before a complex system, such as the UrbanS...
153
click to vote
AAAI
1994
15 years 7 months ago
1994
The BankXX system models the process of perusing and gathering information for argument as a heuristic best-first search for relevant cases, theories, and other domain-specific in...
171
click to vote
BMCBI
2004
15 years 5 months ago
2004
Background: We establish that the occurrence of protein folds among genomes can be accurately described with a Weibull function. Systems which exhibit Weibull character can be int...