972 search results - page 51 / 195 » Intersection types and computational effects |
FGR
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper presents a novel face representation and recognition approach. The face image is first decomposed by multi-scale and multi-orientation Gabor filters and local binary ...
GCC
2005
Springer
14 years 1 months ago
2005
Springer
To fully leverage the information from different data sources and applications, an enterprise needs a generic, interoperable and flexible infrastructure to integrate and coordinate...
IPTPS
2003
Springer
14 years 27 days ago
2003
Springer
This paper discusses the feasibility of peer-to-peer full-text keyword search of the Web. Two classes of keyword search techniques are in use or have been proposed: flooding of q...
NPAR
2000
ACM
14 years 1 days ago
2000
ACM
We present an algorithm for rendering subdivision surface models of complex scenes in a variety of artistic styles using an interactively editable particle system. The algorithm i...
CADE
2001
Springer
14 years 8 months ago
2001
Springer
Proof assistants based on type theories, such as Coq and Lego, allow users to omit subterms on input that can be inferred automatically. While those mechanisms are well known, ad-h...