4211 search results - page 508 / 843 » A formal approach to MASQ |
189
click to vote
DASFAA
2007
IEEE
16 years 1 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
130
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
Formal verification is an important issue in circuit and system design. In this context, Bounded Model Checking (BMC) is one of the most successful techniques. But even if all sp...
197
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
189
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a replication-based approach that enables both fast and reliable stream processing over wide area networks. Our approach replicates stream processing operators in a man...
163
click to vote
ACCV
2007
Springer
16 years 29 days ago
2007
Springer
A movie captured by a wearable camera affixed to an actor’s body gives audiences the sense of “immerse in the movie”. The raw movie captured by wearable camera needs stabiliz...