908 search results - page 149 / 182 » Generating maximal models using the stable model semantics |
178
click to vote
AAAI
2010
15 years 5 months ago
2010
We present a method for unsupervised learning of event classes from videos in which multiple actions might occur simultaneously. It is assumed that all such activities are produce...
177
click to vote
ISSTA
2012
ACM
13 years 6 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
152
click to vote
TASE
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
135
click to vote
EMSOFT
2006
Springer
15 years 7 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
135
click to vote
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
A surrogate is an object that stands for a document and enables navigation to that document. Hypermedia is often represented with textual surrogates, even though studies have show...