1306 search results - page 116 / 262 » A Diagrammatic Approach to Model Completion |
192
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
The paper describes a novel methodology to compute stable models in Answer Set Programming. The proposed approach relies on a bottom-up computation that does not require a prelimin...
77
Voted
ICSE
2003
IEEE-ACM
16 years 24 days ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...
104
Voted
FASE
2003
Springer
15 years 6 months ago
2003
Springer
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
109
Voted
MOMM
2009
ACM
15 years 5 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
103
click to vote
ECCV
2010
Springer
15 years 5 months ago
2010
Springer
We propose a novel approach to increase the robustness of object detection algorithms in surveillance scenarios. The cascaded confidence filter successively incorporates constraint...