9989 search results - page 203 / 1998 » A CLP Approach to Modelling Systems |
160
click to vote
ICECCS
2010
IEEE
15 years 5 months ago
2010
IEEE
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
192
click to vote
CSREAESA
2010
15 years 3 months ago
2010
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
164
click to vote
CADE
2012
Springer
13 years 7 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
148
Voted
ACL
2008
15 years 6 months ago
2008
We describe an unsupervised approach to multi-document sentence-extraction based summarization for the task of producing biographies. We utilize Wikipedia to automatically constru...
136
click to vote
SIS
2007
15 years 6 months ago
2007
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...