299 search results - page 52 / 60 » A General Framework for Reasoning about Inconsistency |
ASPLOS
2011
ACM
12 years 11 months ago
2011
ACM
In practice, it is quite difficult to write correct multithreaded programs due to the potential for unintended and nondeterministic interference between parallel threads. A funda...
ICLP
2004
Springer
14 years 28 days ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
QI
2009
Springer
14 years 2 months ago
2009
Springer
In this third Quantum Interaction (QI) meeting it is time to examine our failures. One of the weakest elements of QI as a field, arises in its continuing lack of models displaying...
DAGSTUHL
2006
13 years 9 months ago
2006
Cognitive Vision has to represent, reason and learn about objects in its environment it has to manipulate and react to. There are deformable objects like humans which cannot be des...
CSL
2007
Springer
13 years 7 months ago
2007
Springer
The paper presents the Position Specific Posterior Lattice (PSPL), a novel lossy representation of automatic speech recognition lattices that naturally lends itself to efficient ...