1128 search results - page 169 / 226 » Little Engines of Proof |
98
Voted
AAAI
1994
15 years 1 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...
102
Voted
SOFTVIS
2010
ACM
15 years 24 days 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 ...
127
Voted
AR
2007
15 years 21 days 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...
117
Voted
COMPUTER
2000
15 years 12 days 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...
103
Voted
TOG
2002
15 years 6 days 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 ...