6608 search results - page 1184 / 1322 » On the Completeness of Model Checking |
148
Voted
LREC
2008
15 years 5 months ago
2008
Being the client's first interface, call centres worldwide contain a huge amount of information of all kind under the form of conversational speech. If accessible, this infor...
128
click to vote
LREC
2008
15 years 5 months ago
2008
To achieve true interoperability for valuable linguistic resources different levels of variation need to be addressed. ISO Technical Committee 37, Terminology and other language a...
126
click to vote
IJCAI
2007
15 years 5 months ago
2007
Local search procedures for solving satisfiability problems have attracted considerable attention since the development of GSAT in 1992. However, recent work indicates that for m...
140
click to vote
NETWORKING
2008
15 years 5 months ago
2008
Previously, we identified the failure-induced receive buffer (rbuf) blocking problem in Concurrent Multipath Transfer using SCTP multihoming (CMT), and proposed CMT with a Potentia...
158
click to vote
ISCAPDCS
2007
15 years 5 months ago
2007
Current research in autonomic computing suffers from the lack of a common definition of the basic autonomic entities. Defining and developing the basic autonomic entities and maki...