4325 search results - page 284 / 865 » Incremental computation with names |
159
click to vote
SIBGRAPI
1999
IEEE
15 years 11 months ago
1999
IEEE
This work describes an approach for face detection, which is the rst stage of any fully automatedhumanface recognition system. We propose several enhancements to a feature-based ap...
158
click to vote
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
Fast remote procedure call (RPC) is a major concern for distributed systems. Many studies aimed at efficient RPC consist of either new implementations of the RPC paradigm or manua...
186
click to vote
COMPCON
1994
IEEE
15 years 10 months ago
1994
IEEE
Spring is a highly modular, distributed, object-oriented operating system. This paper describes the goals of the Spring system and provides overviews of the Spring object model, t...
147
click to vote
PARLE
1993
15 years 10 months ago
1993
: An arithmetic approach, such as the Level-Finding method described in this paper for evaluating linear recursive queries in deductive database systems provides great potential fo...
170
click to vote
BIRTHDAY
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...