1690 search results - page 133 / 338 » Algorithmic Properties of Millstream Systems |
248
click to vote
ICLP
2009
Springer
16 years 5 months ago
2009
Springer
We define logic programs with defaults and argumentation theories, a new framework that unifies most of the earlier proposals for defeasible reasoning in logic programming. We pres...
123
click to vote
SPAA
2009
ACM
16 years 5 months ago
2009
ACM
This paper takes a step toward developing a theory for understanding aborts in transactional memory systems (TMs). Existing TMs may abort many transactions that could, in fact, co...
135
click to vote
WEBI
2009
Springer
15 years 11 months ago
2009
Springer
Due to the increasing demands for network security, distributed intrusion detection has become a hot research topic in computer science. However, the design and maintenance of the...
114
click to vote
HT
2009
ACM
15 years 11 months ago
2009
ACM
This paper describes the Scalable Hyperlink Store, a distributed in-memory “database” for storing large portions of the web graph. SHS is an enabler for research on structural...
125
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—In this paper we aim to solve the multiuser multiinput multi-output (MIMO) downlink beamforming problem. The transmitter is a multi-antenna base-station broadcasting to ...