463 search results - page 40 / 93 » Method Tailoring as Negotiation |
CADE
2007
Springer
14 years 10 months ago
2007
Springer
We introduce a calculus for handling integer arithmetic in first-order logic. The method is tailored to Java program verification and meant to be used both as a supporting procedur...
SIGMOD
2001
ACM
14 years 10 months ago
2001
ACM
The ability to approximately answer aggregation queries accurately and efficiently is of great benefit for decision support and data mining tools. In contrast to previous sampling...
IROS
2009
IEEE
14 years 4 months ago
2009
IEEE
—Software development for industrial robots is still strongly limited by the use of old-style robot programming languages. These languages are tailored to meet a special requirem...
ACCV
2009
Springer
14 years 4 months ago
2009
Springer
Mixtures of Gaussians are a crucial statistical modeling tool at the heart of many challenging applications in computer vision and machine learning. In this paper, we first descri...
GECCO
2009
Springer
14 years 4 months ago
2009
Springer
Multi-material 3D-printing technologies permit the freeform fabrication of complex spatial arrangements of materials in arbitrary geometries. This technology has opened the door t...