6020 search results - page 826 / 1204 » A New Approach to Model Counting |
176
click to vote
MICCAI
1999
Springer
15 years 11 months ago
1999
Springer
We present a new metaphor for learning anatomy - the 3d puzzle. With this metaphor students learn anatomic relations by assembling a geometric model themselves. For this purpose, a...
173
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
A perceptually based approach for selecting image samples has been developed. An existing image processing vision model has been extended to handle color and has been simplified ...
180
click to vote
EUROCRYPT
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
205
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
We present a new ensemble method that uses Entropy Guided Transformation Learning (ETL) as the base learner. The proposed approach, ETL Committee, combines the main ideas of Baggin...
206
click to vote
WSC
2008
15 years 9 months ago
2008
This investigation develops an innovative algorithm for multiple autonomous unmanned aerial vehicle (UAV) mission routing. The concept of a UAV Swarm Routing Problem (SRP) as a ne...