5810 search results - page 991 / 1162 » An Approach to Programming Based on Concepts |
180
click to vote
ECCV
2004
Springer
16 years 8 months ago
2004
Springer
This paper introduces a new concept of surveillance, namely, audio-visual data integration for background modelling. Actually, visual data acquired by a fixed camera can be easily ...
186
click to vote
MICCAI
2009
Springer
16 years 7 months ago
2009
Springer
We present a novel method for the automatic detection and segmentation of (sub-)cortical gray matter structures in 3-D magnetic resonance images of the human brain. Essentially, th...
170
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...
138
click to vote
ICCAD
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper presents a new framework for formal logic verification. What is depicted here is fundamentally different from previous approaches. In earlier approaches, the circuit is ...
204
click to vote
ARGMAS
2007
Springer
15 years 10 months ago
2007
Springer
Argumentation is a promising approach used by autonomous agents for reasoning about inconsistent knowledge, based on the construction and the comparison of arguments. In this pape...