216 search results - page 38 / 44 » Quantifying Non-Functional Requirements: A Process Oriented ... |
102
click to vote
SAC
2011
ACM
14 years 10 days ago
2011
ACM
Logs are one of the most important pieces of analytical data in a cloud-based service infrastructure. At any point in time, service owners and operators need to understand the sta...
DAC
2002
ACM
15 years 10 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
ICRA
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract—Variability reduction and business process synchronization are acknowledged as key to achieving sharp and timely deliveries in supply chain networks. In this paper, we i...
ISBI
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper describes a new robust method for calibration of ultrasound probe (2D/3D). Prior to calibration, a position sensor is attached to the probe for tagging each image/volum...
IROS
2008
IEEE
15 years 3 months ago
2008
IEEE
— Local visual homing is the process of determining the direction of movement required to return an agent to a goal location by comparing the current image with an image taken at...