3468 search results - page 553 / 694 » An open logical framework |
107
click to vote
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
Today, VLSI systems for computationally demanding applications are being built as Systems-on-Chip (SoCs) with a distributed memory sub-system which is shared by a large number of ...
93
Voted
CHI
2004
ACM
16 years 1 months ago
2004
ACM
Abstract. In this paper we describe a virtual laboratory that is designed to accelerate scientific exploration and discovery by minimizing the time between the generation of a scie...
104
Voted
CHI
2002
ACM
16 years 1 months ago
2002
ACM
This paper borrows ideas from social science to inform the design of novel "sensing" user-interfaces for computing technology. Specifically, we present five design chall...
86
Voted
SIGMOD
2004
ACM
16 years 28 days ago
2004
ACM
We make two main contributions in this paper. First, we motivate and introduce a novel class of data mining problems that arise in labeling a group of mass spectra, specifically f...
106
Voted
PODS
2004
ACM
16 years 27 days ago
2004
ACM
We present the Lixto project, which is both a research project in database theory and a commercial enterprise that develops Web data extraction (wrapping) and Web service definiti...