2335 search results - page 380 / 467 » Type Checking Type Classes |
144
Voted
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
A wide class of geometry processing and PDE resolution methods needs to solve a linear system, where the non-zero pattern of the matrix is dictated by the connectivity matrix of th...
131
click to vote
ACSAC
2006
IEEE
15 years 6 months ago
2006
IEEE
Active worms pose major security threats to the Internet. In this paper, we investigate a new class of active worms, i.e., Camouflaging Worm (C-Worm in short). The C-Worm has the ...
103
Voted
FGR
2004
IEEE
15 years 6 months ago
2004
IEEE
Vision-based hand gesture interfaces require fast and extremely robust hand detection. Here, we study view-specific hand posture detection with an object recognition method recent...
102
Voted
SOFSEM
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In this paper we describe an e cient and scalable implementation for grammar induction based on the EMILE approach ( 2], 3], 4], 5], 6]). The current EMILE 4.1 implementa...
112
click to vote
IDEAS
1997
IEEE
15 years 6 months ago
1997
IEEE
We are concerned by schema evolution in Object Oriented Databases (OODB) that is processed by a modification on the classes on the schema. We present a new categorization of the d...