17366 search results - page 3079 / 3474 » New Revision Algorithms |
183
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract Intelligent calendar assistants have many years ago attracted researchers from the areas of scheduling, machine learning and human computer interaction. However, all effor...
218
Voted
AISS
2010
15 years 4 months ago
2010
The migration method of a mobile agent affects the entire performance of the distributed system. Most of the existing migration methods have the slow-witted structures due to the ...
191
click to vote
AMAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract We present a new approximate verification technique for falsifying the invariants of B models. The technique employs symmetry of B models induced by the use of deferred se...
235
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Numerous applications in ad hoc networks, peer-to-peer networks, and on-the-fly data sharing call for confidential broadcast without relying on a dealer. To cater for such applica...
200
click to vote
CIKM
2010
Springer
15 years 4 months ago
2010
Springer
Query reformulation modifies the original query with the aim of better matching the vocabulary of the relevant documents, and consequently improving ranking effectiveness. Previou...