Sciweavers

1181 search results - page 82 / 237
» constraints 2004
Sort
View
ICPR
2004
IEEE
14 years 10 months ago
Estimating Surface Shape and Extending Known Structure using Specular Reflections
In this paper a method for shape estimation and structure extension of a surface using information from specularities is proposed. The structure of the scene is obtained from an i...
Anders Heyden, Jan Erik Solem
ICSE
2004
IEEE-ACM
14 years 9 months ago
Precise Service Level Agreements
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
James Skene, D. Davide Lamanna, Wolfgang Emmerich
ASPDAC
2004
ACM
97views Hardware» more  ASPDAC 2004»
14 years 2 months ago
Interconnect design methods for memory design
- This paper presents a solution to the problem of designing interconnects for memory devices. More precisely, it solves the automatic routing problem of memory peripheral circuits...
Chanseok Hwang, Massoud Pedram
IUI
2004
ACM
14 years 2 months ago
Low-fidelity location based information systems
In this article, we describe the intrinsic constraints of mobility and discuss how we can work around and often exploit these constraints using information implied by the context ...
Sanjay Sood, Kristian J. Hammond, Larry Birnbaum
AISC
2004
Springer
14 years 2 months ago
Proof Search in Minimal Logic
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...
Helmut Schwichtenberg