181 search results - page 31 / 37 » New Inference Rules for Max-SAT |
WPES
2003
ACM
14 years 29 days ago
2003
ACM
Traditionally, application software developers carry out their tests on their own local development databases. However, such local databases usually have only a small number of sa...
MATES
2005
Springer
14 years 1 months ago
2005
Springer
Because there is still no agreed-upon global ontology, Web services supplied by different providers typically have individual and unique semantics, described by independently devel...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
This demo presents Hyperion, a prototype system that supports data sharing for a network of independent Peer Relational Database Management Systems (PDBMSs). The nodes of such a n...
ICT
2004
Springer
14 years 1 months ago
2004
Springer
We propose a new approach to fault detection and diagnosis in third-generation (3G) cellular networks using competitive neural algorithms. For density estimation purposes, a given ...
TPHOL
2002
IEEE
14 years 19 days ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...