Sciweavers

24286 search results - page 374 / 4858
» Research as Design-Design as Research
Sort
View
ICCD
1993
IEEE
94views Hardware» more  ICCD 1993»
15 years 11 months ago
Symbolic Analysis Methods for Masks, Circuits, and Systems
Symbolic representations of systems can achieve a high degree of compaction relative to more explicit forms. By casting an analysis task in terms of operations on a symbolic repre...
Randal E. Bryant
167
Voted
ECML
1993
Springer
15 years 11 months ago
Integrated Learning Architectures
Research in systems where learning is integrated to other components like problem solving, vision, or natural language is becoming an important topic for Machine Learning. Situatio...
Enric Plaza, Agnar Aamodt, Ashwin Ram, Walter Van ...
193
Voted
SPAA
1990
ACM
15 years 11 months ago
Optimal Cooperative Search in Fractional Cascaded Data Structures
Fractional cascading is a technique designed to allow e cient sequential search in a graph with catalogs of total size n. The search consists of locating a key in the catalogs alo...
Roberto Tamassia, Jeffrey Scott Vitter
165
Voted
ELPUB
2007
ACM
15 years 10 months ago
The PURE Institutional Repository: Ingestion, Storage, Preservation, Exhibition and Reporting
Jointly developed over 5 years by Atira A/S and a number of university libraries, the commercial repository system PURE is a tool in the research administration and dissemination ...
Bo Alroe
ICLP
2010
Springer
15 years 10 months ago
Constraint Answer Set Programming Systems
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
Christian Drescher