1788 search results - page 334 / 358 » Model Theory for Process Algebra |
127
click to vote
ERCIMDL
2009
Springer
15 years 8 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...
162
Voted
AGENTS
2000
Springer
15 years 7 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...
127
Voted
DGO
2008
15 years 5 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...
119
Voted
AAAI
1994
15 years 4 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...
133
Voted
BMCBI
2004
15 years 3 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...