Sciweavers

1648 search results - page 233 / 330
» Structuring namespace descriptions
Sort
View
CHARME
2001
Springer
133views Hardware» more  CHARME 2001»
15 years 8 months ago
View from the Fringe of the Fringe
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
Steven D. Johnson
SIGGRAPH
1992
ACM
15 years 8 months ago
Interactive inspection of solids: cross-sections and interferences
To reduce the cost of correcting design errors, assemblies of mechanical parts are modeled using CAD systems and verified electronically before the designs are sent to manufacturi...
Jarek Rossignac, Abe Megahed, Bengt-Olaf Schneider
LISA
2008
15 years 6 months ago
Devolved Management of Distributed Infrastructures with Quattor
In recent times a new kind of computing system has emerged: a distributed infrastructure composed of multiple physical sites in different administrative domains. This model introd...
Stephen Childs, Marco Emilio Poleggi, Charles Loom...
AISB
2008
Springer
15 years 6 months ago
Cognition without content
According to the traditional conception of the mind, semantical content is perhaps the most important feature distinguishing mental from non-mental systems. And this traditional co...
Paul Schweizer
NIPS
2008
15 years 5 months ago
Grouping Contours Via a Related Image
Contours have been established in the biological and computer vision literature as a compact yet descriptive representation of object shape. While individual contours provide stru...
Praveen Srinivasan, Liming Wang, Jianbo Shi