3082 search results - page 508 / 617 » Deviation Analysis: A New Use of Model Checking |
171
click to vote
WEBI
2007
Springer
16 years 8 days ago
2007
Springer
Web sites are often organized into several regions, each dedicated to a specific topic or serving a particular function. From a user’s perspective, these regions typically form ...
163
click to vote
AVI
2006
15 years 7 months ago
2006
Companies trading stocks need to store information on stock prices over specific time intervals, which results in very large databases. Large quantities of numerical data (thousan...
151
click to vote
COLING
2000
15 years 7 months ago
2000
This paper describes a hybrid parsing method for Japanese which uses both a hand-crafted grammar and a statistical technique. The key feature of our system is that in order to est...
222
click to vote
AAAI
1993
15 years 7 months ago
1993
This paper describes a method for the development of dialogue managers for natural language interfaces. A dialogue manager is presented designed on the basis of both a theoretical...
166
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In many wireless systems, interference is the main performance-limiting factor, and is primarily dictated by the locations of concurrent transmitters. In many earlier works, the l...