1907 search results - page 320 / 382 » A Pattern and Dependency Based Approach to the Design of Pro... |
ASYNC
2007
IEEE
14 years 22 days ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
CIVR
2010
Springer
14 years 1 months ago
2010
Springer
This paper describes an approach to optimize query by visual example results, by combining visual features and implicit user feedback in interactive video retrieval. To this end, ...
KDD
2008
ACM
14 years 9 months ago
2008
ACM
IT problem management calls for quick identification of resolvers to reported problems. The efficiency of this process highly depends on ticket routing--transferring problem ticke...
CIKM
2009
Springer
14 years 3 months ago
2009
Springer
Structured retrieval aims at exploiting the structural information of documents when searching for documents. Structured retrieval makes use of both content and structure of docum...
STOC
2005
ACM
14 years 9 months ago
2005
ACM
The Write-All problem for an asynchronous shared-memory system has the objective for the processes to update the contents of a set of shared registers, while minimizing the mber o...