6020 search results - page 329 / 1204 » A New Approach to Model Counting |
199
click to vote
FASE
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
202
click to vote
IJCNN
2006
IEEE
16 years 23 days ago
2006
IEEE
— Neural networks have been proposed as an ideal cognitive modeling methodology to deal with the symbol grounding problem. More recently, such neural network approaches have been...
165
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
Abstract— Thermal issues are a primary concern in the threedimensional (3D) integrated circuit (IC) design. Temperature, area, and wire length must be simultaneously optimized du...
195
Voted
RSP
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
222
click to vote
SI3D
2003
ACM
16 years 3 hour ago
2003
ACM
In this paper we develop an interactive 3D browser for large topographic maps using a visual display augmented by a haptic, or force feedback, display. The extreme size of our dat...