Sciweavers

438 search results - page 26 / 88
» A convenient differential category
Sort
View
GLVLSI
2006
IEEE
115views VLSI» more  GLVLSI 2006»
16 years 6 days ago
Yield enhancement of asynchronous logic circuits through 3-dimensional integration technology
This paper presents a systematic design methodology for yield enhancement of asynchronous logic circuits using 3-D (3-Dimensional) integration technology. In this design, the targ...
Song Peng, Rajit Manohar
LICS
2006
IEEE
16 years 5 days ago
PSPACE Bounds for Rank-1 Modal Logics
aic semantics, which conveniently abstracts from the details of a given model class and thus allows covering a broad range of logics in a uniform way. Categories and Subject Descri...
Lutz Schröder, Dirk Pattinson
OOPSLA
2005
Springer
15 years 11 months ago
Language constructs for improving reusability in object-oriented software
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
Marko van Dooren, Eric Steegmans
JCDL
2004
ACM
103views Education» more  JCDL 2004»
15 years 11 months ago
Integration of biomedical text and sequence OAI repositories
Archived biomedical literature and sequence data are growing rapidly. The Open Archives Initiative's Protocol for Metadata Harvesting (OAI-PMH) [1] provides a convenient way ...
Yueyu Fu, Javed Mostafa
CIKM
2006
Springer
15 years 10 months ago
Resource-aware kernel density estimators over streaming data
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
Christoph Heinz, Bernhard Seeger