1819 search results - page 357 / 364 » Computability and Representations of the Zero Set |
RULEML
2005
Springer
14 years 1 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
VLDB
2004
ACM
14 years 27 days ago
2004
ACM
Declarative queries are proving to be an attractive paradigm for interacting with networks of wireless sensors. The metaphor that “the sensornet is a database” is problematic,...
SIGECOM
2003
ACM
14 years 24 days ago
2003
ACM
Coalition formation is a key problem in automated negotiation among self-interested agents, and other multiagent applications. A coalition of agents can sometimes accomplish thing...
PLDI
2010
ACM
14 years 18 days ago
2010
ACM
The availability of multicore processors has led to significant interest in compiler techniques for speculative parallelization of sequential programs. Isolation of speculative s...
ICARCV
2002
IEEE
14 years 15 days ago
2002
IEEE
The focus of this work is on the problem of feature selection and classification for on-road vehicle detection. In particular, we propose using quantized Haar wavelet features an...