1128 search results - page 169 / 226 » Little Engines of Proof |
165
click to vote
AAAI
1994
15 years 7 months ago
1994
Case-based reasoning (CBR) has a great deal to o er in supporting creative design, particularly processes that rely heavily on previous design experience, such as framing the prob...
156
click to vote
SOFTVIS
2010
ACM
15 years 6 months ago
2010
ACM
Software visualization can be of great use for understanding and exploring a software system in an intuitive manner. Spatial representation of software is a promising approach of ...
188
click to vote
AR
2007
15 years 6 months ago
2007
—Researchers in robotics and artificial intelligence have often looked at biology as a source of inspiration for solving their problems. From the opposite perspective, neuroscie...
173
click to vote
COMPUTER
2000
15 years 6 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
173
click to vote
TOG
2002
15 years 5 months ago
2002
Finite element solvers are a basic component of simulation applications; they are common in computer graphics, engineering, and medical simulations. Although adaptive solvers can ...