9405 search results - page 1738 / 1881 » Computing a Model of Set Theory |
131
Voted
ICRA
1999
IEEE
15 years 8 months ago
1999
IEEE
Techniques for interactive 3D manipulation of articulated objects in cluttered environments should be geometricallyaware, going beyond basic inverse or forward kinematics to allow...
189
click to vote
HPTS
1993
15 years 8 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
159
click to vote
EUROGP
2007
Springer
15 years 8 months ago
2007
Springer
The conversion and extension of the Incremental Pareto-Coevolution Archive algorithm (IPCA) into the domain of Genetic Programming classification is presented. In particular, the ...
133
click to vote
CP
2006
Springer
15 years 7 months ago
2006
Springer
Interactive configuration is the concept of assisting a user in selecting values for parameters that respect given constraints. It was originally inspired by the product configurat...
142
click to vote
ICCAD
1995
IEEE
15 years 7 months ago
1995
IEEE
Abstract: Functions that map boolean vectors into the integers are important for the design and veri cation of arithmetic circuits. MTBDDs and BMDs have been proposed for represent...