18306 search results - page 345 / 3662 » Algorithmics in Exponential Time |
190
click to vote
TIME
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a symbolic algorithm for deciding safety (reachability) of timed systems modelled as Timed Automata (TA), under the notion of robustness w.r.t. infinitesimal clock-drif...
182
click to vote
RTSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Recent years have seen the emergence of wireless sensor network systems that must support high data rate and realtime queries of physical environments. This paper proposes Real-Ti...
152
click to vote
SIGGRAPH
1998
ACM
15 years 11 months ago
1998
ACM
In this paper we introduce a new compressed representation for the connectivity of a triangle mesh. We present local compression and decompression algorithms which are fast enough...
174
click to vote
3DPH
2009
15 years 8 months ago
2009
Abstract. A common problem in optical motion capture of human-body movement is the so-called missing marker problem. The occlusion of markers can lead to significant problems in tr...
235
click to vote
CN
2011
14 years 10 months ago
2011
Standard slow start does not work well under large bandwidthdelay product (BDP) networks. We find two causes of this problem in existing three popular operating systems, Linux, F...