Sciweavers

5639 search results - page 31 / 1128
» Timed Abstract Non-interference
Sort
View
ICB
2009
Springer
132views Biometrics» more  ICB 2009»
14 years 7 months ago
Empirical Evidence for Correct Iris Match Score Degradation with Increased Time-Lapse between Gallery and Probe Matches
Abstract. We explore the effects of time lapse on iris biometrics using a data set of images with four years time lapse between the earliest and most recent images of an iris (13 s...
Sarah E. Baker, Kevin W. Bowyer, Patrick J. Flynn
ROBIO
2006
IEEE
156views Robotics» more  ROBIO 2006»
15 years 3 months ago
Abstraction of Odor Source Declaration Algorithm from Moth-Inspired Plume Tracing Strategies
—A moth behavior-inspired strategy, including tracing a chemical plume to its source and declaring the source location, was tested in near shore ocean conditions via a REMUS unde...
Wei Li
APPROX
2009
Springer
105views Algorithms» more  APPROX 2009»
14 years 7 months ago
Real-Time Message Routing and Scheduling
Abstract. Exchanging messages between nodes of a network (e.g., embedded computers) is a fundamental issue in real-time systems involving critical routing and scheduling decisions....
Ronald Koch, Britta Peis, Martin Skutella, Andreas...
SIAMCO
2010
97views more  SIAMCO 2010»
14 years 4 months ago
Real-Time Nonlinear Optimization as a Generalized Equation
Abstract. We establish results for the problem of tracking a time-dependent manifold arising in realtime optimization by casting this as a parametric generalized equation. We demon...
Victor M. Zavala, Mihai Anitescu
TCAD
2010
110views more  TCAD 2010»
14 years 4 months ago
Dose Map and Placement Co-Optimization for Improved Timing Yield and Leakage Power
Abstract--In sub-100 nm CMOS processes, delay and leakage power reduction continue to be among the most critical design concerns. We propose to exploit the recent availability of f...
Kwangok Jeong, Andrew B. Kahng, Chul-Hong Park, Ha...