5122 search results - page 857 / 1025 » Comparing Consequence Relations |
153
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
200
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
Modern search engines have to be fast to satisfy users, so there are hard back-end latency requirements. The set of features useful for search ranking functions, though, continues...
149
click to vote
DNA
2009
Springer
16 years 1 months ago
2009
Springer
Recently we have shown how molecular logic circuits with many components arranged in multiple layers can be built using DNA strand displacement reactions. The potential application...
192
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents a novel motion localization approach for recognizing actions and events in real videos. Examples include StandUp and Kiss in Hollywood movies. The challenge ca...
167
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
The analysis of social and technological networks has attracted a lot of attention as social networking applications and mobile sensing devices have given us a wealth of real data...