12774 search results - page 2406 / 2555 » A Framework for Proof Systems |
200
click to vote
PAMI
2007
15 years 6 months ago
2007
—A system that could automatically analyze the facial actions in real time has applications in a wide range of different fields. However, developing such a system is always chall...
222
click to vote
ICSOC
2010
Springer
15 years 5 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
161
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
—In recent years, the famous wiretap channel has been revisited by many researchers and information theoretic secrecy has become an active area of research in this setting. In th...
207
click to vote
PVLDB
2010
15 years 5 months ago
2010
Users who are unfamiliar with database query languages can search XML data sets using keyword queries. Previous work has shown that current XML keyword search methods, although in...
207
click to vote
SIGMOD
2010
ACM
15 years 4 months ago
2010
ACM
Given a graph database D and a query graph g, an exact subgraph matching query asks for the set S of graphs in D that contain g as a subgraph. This type of queries find important...