10159 search results - page 1745 / 2032 » System Design Validation Using Formal Models |
212
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
This paper addresses the problem of categorizing terms or lexical entities into a predefined set of semantic domains exploiting the knowledge available on-line in the Web. The prop...
222
click to vote
SOCO
2010
Springer
15 years 5 months ago
2010
Springer
This paper presents an evolutionary algorithm for modeling the arrival dates in time-stamped data sequences such as newscasts, e-mails, IRC conversations, scientific journal artic...
180
click to vote
GLOBECOM
2010
IEEE
15 years 4 months ago
2010
IEEE
With a large variety of wireless access technologies available, multi-homed devices may strongly improve the performance and reliability of communication when using multiple networ...
160
click to vote
CIVR
2008
Springer
15 years 7 months ago
2008
Springer
We have developed an interactive video search system that allows the searcher to rapidly assess query results and easily pivot off those results to form new queries. The system i...
157
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
This paper presents Capriccio, a scalable thread package for use with high-concurrency servers. While recent work has advocated event-based systems, we believe that threadbased sy...