4418 search results - page 553 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
195
click to vote
MIDDLEWARE
2007
Springer
16 years 26 days ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
160
click to vote
GG
2004
Springer
16 years 3 days ago
2004
Springer
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
159
click to vote
IPPS
2003
IEEE
16 years 5 hour ago
2003
IEEE
One of the most important issues to deal with in peerto-peer networks is how to disseminate information. In this paper, we use a completely new approach to solving the information...
191
click to vote
ICCV
1995
IEEE
15 years 10 months ago
1995
IEEE
We present a novel motion-based approach for the part determination and shape estimation of a human’s body parts. The novelty of the technique is that neither a prior model of t...
174
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— It is widely agreed that efficient visual search requires the integration of target-driven top-down information and image-driven bottom-up information. Yet the problem of gaze...