362 search results - page 46 / 73 » Mechanizing and Improving Dependency Pairs |
APIN
2000
13 years 8 months ago
2000
Abstract. In this paper, defeasible workflow is proposed as a framework to support exception handling for workflow management. By using the "justified" ECA rules to captu...
ICRA
2010
IEEE
13 years 7 months ago
2010
IEEE
— Aerial robots are often required to remain within the communication range of a base station on the ground to exchange commands, sensor data or as a safety mechanism. For this...
SIGMOD
2005
ACM
14 years 8 months ago
2005
ACM
We describe an approach for pipelining nested data collections in scientific workflows. Our approach logically delimits arbitrarily nested collections of data tokens using special...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
CVPR
2010
IEEE
14 years 4 months ago
2010
IEEE
We present a novel approach to address the representation issue and the matching issue in face recognition (verification). Firstly, our approach encodes the micro-structures of t...