5232 search results - page 103 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
FGCS
2000
15 years 1 months ago
2000
With a heavy emphasis on distribution and reuse, web-based simulation portends a dramatic shift in the application of simulation as a problem-solving technique and decision-suppor...
100
click to vote
SMA
2005
ACM
15 years 7 months ago
2005
ACM
Geometric constraint solving is a key issue in CAD/CAM. Since Owen’s seminal paper, solvers typically use graph based decomposition methods. However, these methods become diffi...
116
click to vote
FORTE
2009
14 years 11 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
116
click to vote
AAAI
1994
15 years 3 months ago
1994
This paper presents a plan-based architecture for response generation in collaborative consultation dialogues, with emphasis on cases in which the system (consultant) and user (ex...
118
click to vote
CODES
2008
IEEE
15 years 1 months ago
2008
IEEE
With power becoming a major constraint for multi-processor embedded systems, it is becoming important for designers to characterize and model processor power dissipation. It is cr...