892 search results - page 148 / 179 » Strategies in sentential reasoning |
TACAS
2010
Springer
13 years 5 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
DAGM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Automatic visual inspection has become an important application of pattern recognition, as it supports the human in this demanding and often dangerous work. Nevertheless,...
HCI
2009
13 years 5 months ago
2009
Abstract. The archetype of many novel research activities is called cognition. Although separate definitions exist to define a technical cognitive system, it is typically character...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
DATE
2010
IEEE
13 years 4 months ago
2010
IEEE
Topology virtualization techniques are proposed for NoCbased many-core processors with core-level redundancy to isolate hardware changes caused by on-chip defective cores. Prior w...