413 search results - page 76 / 83 » On Product Logic with Truth-constants |
111
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
94
Voted
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
95
Voted
CCA
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. In this paper we study a reducibility that has been introduced by Klaus Weihrauch or, more precisely, a natural extension of this reducibility for multi-valued functions ...
OTM
2009
Springer
15 years 6 months ago
2009
Springer
Complex event processing (CEP) is a software architecture paradigm that aims at low latency, high throughput, and quick adaptability of applications for supporting and improving ev...
129
click to vote
CPAIOR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...