2858 search results - page 400 / 572 » Logics with Aggregate Operators |
141
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
This paper describes two techniques to quantify energy consumption of burst-modeasynchronous(clock-less)controlcircuits. The circuit specifications consideredare extended burst-m...
152
click to vote
WSC
2007
15 years 8 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...
175
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We consider an extension of integer linear arithmetic with a "star" operator takes closure under vector addition of the solution set of a linear arithmetic subformula. We...
181
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
170
click to vote
CLIMA
2007
15 years 7 months ago
2007
Abstract. In this paper we are concerned with proposing, analyzing and implementing simple, yet flexible, constructs for multi-agent programming. In particular, we wish to extend ...