2253 search results - page 244 / 451 » The ComFoRT Reasoning Framework |
JIIS
2006
14 years 11 months ago
2006
It is well-known that knowledgebases may contain inconsistencies. We provide a measure to quantify the inconsistency of a knowledgebase, thereby allowing for the comparison of the...
88
Voted
ENTCS
2007
14 years 11 months ago
2007
We use the interactive theorem prover Isabelle to prove that the algebraic axiomatization of bisimulation equivalence in the pi-calculus is sound and complete. This is the first ...
82
Voted
TVLSI
2008
14 years 10 months ago
2008
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
109
Voted
UAIS
2008
14 years 10 months ago
2008
In the age of speech and voice recognition technologies, sign language recognition is an essential part of ensuring equal access for deaf people. To date, sign language recognition...
COMPUTER
2004
14 years 10 months ago
2004
The growth of ubiquitous computing has given rise to a range of possibilities for context-based application development. Technologies for mobile computing and context-awareness can...