1750 search results - page 192 / 350 » Formal multiple-bernoulli models for language modeling |
148
click to vote
ECOWS
2007
Springer
15 years 5 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
136
click to vote
ER
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
126
click to vote
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
When provingthe correctness of algorithmsin distributed systems, one generally considers safety conditions and liveness conditions. The Input Output I O automaton model and its ti...
113
Voted
AUSAI
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
115
Voted
CAV
2004
Springer
15 years 7 months ago
2004
Springer
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...