10790 search results - page 1808 / 2158 » Using feature models to automate model transformations |
174
click to vote
ICCV
2003
IEEE
15 years 12 months ago
2003
IEEE
Automatically understanding events happening at a site is the ultimate goal of visual surveillance system. This paper investigates the challenges faced by automated surveillance s...
203
click to vote
ASP
2003
Springer
15 years 12 months ago
2003
Springer
Disjunctive Logic Programming (DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). DLP is very expressive in a precise mathematical sense: it allows to ...
166
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Logic variables pioneered by (concurrent) logic and concurrent constraint programming are powerful mechanisms for automatically synchronizing concurrent computations. The...
152
click to vote
COMPSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Component-based reuse is a hopeful solution to the software crisis. Research on software architecture (SA) has revealed a component-based vision of the gross structure of software...
161
click to vote
PLDI
1996
ACM
15 years 10 months ago
1996
ACM
High performance compilers increasingly rely on accurate modeling of the machine resources to efficiently exploit the instruction level parallelism of an application. In this pape...