1604 search results - page 101 / 321 » Development Separation in Lambda-Calculus |
FGR
2004
IEEE
14 years 2 months ago
2004
IEEE
1 Active Appearance Models (AAM) is very powerful for extracting objects, e.g. faces, from images. It is composed of two parts: the AAM subspace model and the AAM search. While th...
APAQS
2001
IEEE
14 years 1 months ago
2001
IEEE
With the increasing emphasis on dependability in complex, distributed systems, it is essential that system development can be done gradually and at different levels of detail. In ...
AAAI
2007
14 years 18 days ago
2007
In this paper we develop a novel probabilistic model of computational trust that allows agents to exchange and combine reputation reports over heterogeneous, correlated multi-dime...
WSC
2007
14 years 18 days ago
2007
Co-design modeling is considered key toward handling the complexity and scale of network systems. The ability to separately specify the software and hardware aspects of computer n...
BIOCOMP
2006
13 years 11 months ago
2006
The application of genome scale RNA interference (RNAi) relies on the development of high quality RNAi high throughput screening (HTS) assays. An important quality control (QC) ch...