3229 search results - page 350 / 646 » The Theory of Timed Automata |
196
click to vote
QOSIP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We explore techniques for efficient Quality of Service Routing in the presence of multiple constraints. We first present a polynomial time approximation algorithm for th...
182
click to vote
WABI
2005
Springer
16 years 8 days ago
2005
Springer
—We propose new algorithms for computing pairwise rearrangement scenarios that conserve the combinatorial structure of genomes. More precisely, we investigate the problem of sort...
161
Voted
SENSYS
2004
ACM
16 years 7 days ago
2004
ACM
A class of synchronization protocols for dense, large-scale sensor networks is presented. The protocols build on the recent work of Hong, Cheow, and Scaglione [5, 6] in which the ...
142
Voted
ILP
2004
Springer
16 years 5 days ago
2004
Springer
ILP systems induce first-order clausal theories performing a search through very large hypotheses spaces containing redundant hypotheses. The generation of redundant hypotheses ma...
162
click to vote
BIRTHDAY
2003
Springer
16 years 1 days ago
2003
Springer
Abstract. We present a new proof of axiomatic completeness for Proposition Temporal Logic (PTL) for discrete, linear time for both finite and infinite time (without past-time). T...