785 search results - page 115 / 157 » Automated Analysis of Feature Models Using Atomic Sets |
151
click to vote
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
259
Voted
GIS
2006
ACM
16 years 3 months ago
2006
ACM
The W3C's Semantic Web Activity is illustrating the use of semantics for information integration, search, and analysis. However, the majority of the work in this community ha...
123
Voted
BIRD
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
287
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
We propose a novel approach for modelling correlations
between activities in a busy public space captured by multiple
non-overlapping and uncalibrated cameras. In our approach,
...
142
Voted
EMSOFT
2008
Springer
15 years 4 months ago
2008
Springer
The Simulink/Stateflow (SL/SF) environment from Mathworks is becoming the de facto standard in industry for model based development of embedded control systems. Many commercial to...