Sciweavers

10718 search results - page 2034 / 2144
» On the Circuit Implementation Problem
Sort
View
133
Voted
SELMAS
2004
Springer
15 years 9 months ago
A Software Framework for Automated Negotiation
If agents are to negotiate automatically with one another they must share a negotiation mechanism, specifying what possible actions each party can take at any given time, when nego...
Claudio Bartolini, Chris Preist, Nicholas R. Jenni...
122
Voted
SPIN
2004
Springer
15 years 9 months ago
Verifying Commit-Atomicity Using Model-Checking
The notion that certain procedures are atomic provides a valuable partial specification for many multithreaded software systems. Several existing tools verify atomicity by showing...
Cormac Flanagan
VLDB
2004
ACM
93views Database» more  VLDB 2004»
15 years 9 months ago
Symmetric Relations and Cardinality-Bounded Multisets in Database Systems
In a binary symmetric relationship, A is related to B if and only if B is related to A. Symmetric relationships between k participating entities can be represented as multisets of...
Kenneth A. Ross, Julia Stoyanovich
DASFAA
2003
IEEE
108views Database» more  DASFAA 2003»
15 years 9 months ago
Spatial Query Processing for High Resolutions
Modern database applications including computeraided design (CAD), medical imaging, or molecular biology impose new requirements on spatial query processing. Particular problems a...
Hans-Peter Kriegel, Martin Pfeifle, Marco Pöt...
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
15 years 9 months ago
A Watermarking Infrastructure for Enterprise Document Management
Digital watermarking is a promising technology to embed copyright information as unperceivable signals in digital contents. Although various watermarking techniques have been empl...
Shing-Chi Cheung, Dickson K. W. Chiu
« Prev « First page 2034 / 2144 Last » Next »