5634 search results - page 466 / 1127 » About Abstract Classes |
166
click to vote
SAS
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
167
click to vote
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...
172
click to vote
WEA
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. The maximum diversity problem (MDP) consists of identifying optimally diverse subsets of elements from some larger collection. The selection of elements is based on the d...
125
click to vote
PG
2003
IEEE
16 years 2 days ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
200
click to vote
CAIP
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. The support vector machine is basically to deal with a two-class classification problem. To get M-class classifiers for face recognition, it is common to construct a set ...