5639 search results - page 631 / 1128 » Timed Abstract Non-interference |
150
Voted
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper we study the problem of solving hard propositional satisfiability problem (SAT) instances in a computing grid or cloud, where run times and communication b...
151
click to vote
OTM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Many applications require the establishment of mappings between ontologies. Such mappings are established by domain experts or automated tools. Errors in mappings can int...
140
click to vote
PAMI
2010
15 years 5 months ago
2010
Abstract—A common problem encountered in recognizing symbols in real-scene images is the perspective deformation. In this paper, a recognition method resistant to perspective def...
151
Voted
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract—Recently, researchers and engineers began considering the use of WSN in time-sensitive applications. For effective real-time communications, it is important to solve the...
167
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present an automated tool with a web interface for tracking the prevalence of Influenza-like Illness (ILI) in several regions of the United Kingdom using the contents...