Sciweavers

3224 search results - page 210 / 645
» Abstract Error Projection
Sort
View
TSE
2011
214views more  TSE 2011»
15 years 1 months ago
A Comparative Study of Software Model Checkers as Unit Testing Tools: An Industrial Case Study
—Conventional testing methods often fail to detect hidden flaws in complex embedded software such as device drivers or file systems. This deficiency incurs significant developmen...
Moonzoo Kim, Yunho Kim, Hotae Kim
JOCN
2010
65views more  JOCN 2010»
15 years 5 months ago
Roles of Medial Prefrontal Cortex and Orbitofrontal Cortex in Self-evaluation
■ Empirical investigations of the relation of frontal lobe function evaluation have mostly examined the evaluation of abstract qualities in relation to self versus other people....
Jennifer S. Beer, Michael V. Lombardo, Jamil Palac...
140
Voted
ICIAR
2009
Springer
16 years 1 months ago
Registration of the Prokudin-Gorskii Colour Photographs Using a Multiresolution SSIM Algorithm
Abstract. Russian photographer Prokudin-Gorskii was one of the pioneers of colour photography, creating projected colour composites through the acquisition of images using red, gre...
Michael Wirth, Bruce A. Bobier
ICWE
2009
Springer
16 years 1 months ago
beContent: A Model-Driven Platform for Designing and Maintaining Web Applications
Model Driven Engineering (MDE) is increasingly gaining acceptance evelopment of Web Applications as a mean to leverage abstraction and render business logic resilient to technologi...
Antonio Cicchetti, Davide Di Ruscio, Romina Eramo,...
KI
2009
Springer
16 years 1 months ago
On Defaults in Action Theories
Abstract. We study the integration of two prominent fields of logicbased AI: action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an ac...
Hannes Strass, Michael Thielscher