17018 search results - page 2997 / 3404 » From the How to the What |
205
click to vote
CBSE
2004
Springer
16 years 7 days ago
2004
Springer
According to Szyperski, “a software component is a unit of composition with contractually specified interfaces and explicit context dependencies only”. But it is well known tha...
178
click to vote
ICTAC
2004
Springer
16 years 7 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
205
click to vote
VLDB
2004
ACM
16 years 6 days ago
2004
ACM
The Web is becoming a universal information dissemination medium, due to a number of factors including its support for content dynamicity. A growing number of Web information prov...
181
click to vote
WAPCV
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper proposes a neuronal-based solution to active visual search, that is, visual search for a given target in displays that are too large in spatial extent to be in...
208
click to vote
EDOC
2003
IEEE
16 years 4 days ago
2003
IEEE
The Aspect Integrator Platform (AIP) from ABB was designed to build the next generation of industrial automation applications. This platform is part of a set of products that prov...