1655 search results - page 84 / 331 » Stemming in the language modeling framework |
99
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
WSC
2004
15 years 2 months ago
2004
Although simulation is one of the most innovative and cost-effective tools for modeling and analyzing a system, simulation studies often fail to provide any useful results. One re...
LADS
2007
Springer
15 years 6 months ago
2007
Springer
Despite the acceptance of FIPA-ACL as a standard for agent communications, there exist a gap between its specification and infrastructures to support interactions among agents. The...
ANSS
2006
IEEE
15 years 6 months ago
2006
IEEE
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
ISAS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We present formal and practical foundations for Web service composition framework with composition correctness guarantees. We introduce contractual composition model base...