721 search results - page 89 / 145 » A Living System Must Have Noncomputable Models |
106
click to vote
CONCUR
2006
Springer
15 years 2 months ago
2006
Springer
In regular inference, the problem is to infer a regular language, typically represented by a deterministic finite automaton (DFA) from answers to a finite set of membership querie...
120
click to vote
ICSE
1999
IEEE-ACM
15 years 4 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
108
Voted
WSDM
2010
ACM
15 years 10 months ago
2010
ACM
Sponsored search is a multi-billion dollar business that generates most of the revenue for search engines. Predicting the probability that users click on ads is crucial to sponsor...
87
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...
107
Voted
WMRD
1990
15 years 4 months ago
1990
Ficus is a replicated general ling environment for Unix intended to scale to very large nationwide networks. The system employs an optimistic one copy availability" model in ...