908 search results - page 94 / 182 » Generating maximal models using the stable model semantics |
121
click to vote
ICMCS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a discriminative learning approach for fusing multichannel sequential data with application to detect unsafe driving patterns from multi-channel driving recording data....
156
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
130
click to vote
COMPSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
Knowledge-based software engineering enables a programmer to integrate rich semantics in the software development process. In this work, we show how an OWL/RDF knowledge base can ...
173
click to vote
RE
2008
Springer
15 years 4 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
140
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...