4520 search results - page 547 / 904 » Algebraic Techniques for Timed Systems |
159
click to vote
ICCAD
2005
IEEE
16 years 14 days ago
2005
IEEE
— Batteries are non-ideal energy sources – minimizing the energy consumption of a battery-powered system is not equivalent to maximizing its battery life. We propose an alterna...
182
click to vote
VRST
1998
ACM
15 years 11 months ago
1998
ACM
Distributed virtual environments allow users at di erent geographical locations to share and interact within a common virtual environment via a local network or through the Intern...
211
click to vote
CATA
2003
15 years 8 months ago
2003
This paper presents a basic framework for applying static task scheduling techniques to arbitrarily-structured task systems whose targeted execution environment is comprised of fi...
190
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
One significant challenge in the construction of visual detection systems is the acquisition of sufficient labeled data. This paper describes a new technique for training visual d...
173
click to vote
MICCAI
2006
Springer
16 years 7 months ago
2006
Springer
Since the upturn of intravascular ultrasound (IVUS) as an imaging technique for the coronary artery system, much research has been done to simplify the complicated analysis of the ...