245 search results - page 40 / 49 » State Complexity of Testing Divisibility |
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
This paper presents a new method for 3D cutting of geometrical space with application to airspace sectoring. This problem comes from the air traffic management but the proposed me...
AMI
2008
Springer
15 years 2 months ago
2008
Springer
With today's technology, elderly users could be supported in living independently in their own homes for a prolonged period of time. Commercially available products enable rem...
121
click to vote
FORMATS
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. We introduce and study hybrid automata with strong resets. They generalize o-minimal hybrid automata, a class of hybrid automata which allows modeling of complex continuo...
101
Voted
FTCS
1998
15 years 1 months ago
1998
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
91
Voted
CN
2006
15 years 14 days ago
2006
In this article, we propose a new single-rate end-to-end multicast congestion control scheme called Explicit Rate Multicast Congestion Control (ERMCC) based on a new metric, TRAC ...