7623 search results - page 280 / 1525 » Constructive Volume Modeling |
126
click to vote
GMP
2006
IEEE
15 years 10 months ago
2006
IEEE
Physical based and geometric based variational techniques for surface construction have been shown to be advanced methods for designing high quality surfaces in the fields of CAD ...
106
click to vote
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper describes the process by which we are constructing an intelligent tutoring system (ERST) designed to improve learners’ external representation (ER) selection...
125
click to vote
TACAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a novel algorithm for automata-based LTL model checking that interleaves the construction of the generalized B¨uchi automaton for the negation of the formula ...
143
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Organizations exist to create value that members could not create individually. They create value by harnessing the intellectual resources of their members to provide goods and se...
110
click to vote
IPPS
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper, we propose a method which enables us to construct almost optimal broadcast schemes on an n-dimensional hypercube in the circuit switched, -port model. In this mode...