Sciweavers

18306 search results - page 254 / 3662
» Algorithmics in Exponential Time
Sort
View
152
Voted
SEQLEARN
2001
Springer
216views Algorithms» more  SEQLEARN 2001»
15 years 11 months ago
Time in Connectionist Models
Jean-Cédric Chappelier, Marco Gori, Alain G...
124
Voted
ANTS
1998
Springer
82views Algorithms» more  ANTS 1998»
15 years 10 months ago
Timing Analysis of Targeted Hunter Searches
John W. Jones, David P. Roberts
TACAS
1998
Springer
103views Algorithms» more  TACAS 1998»
15 years 10 months ago
Model Checking via Reachability Testing for Timed Automata
Luca Aceto, Augusto Burgueño, Kim Guldstran...
139
Voted
TACAS
1998
Springer
82views Algorithms» more  TACAS 1998»
15 years 10 months ago
Model Checking of Real-Time Reachability Properties Using Abstractions
Conrado Daws, Stavros Tripakis
128
Voted
COCO
1997
Springer
92views Algorithms» more  COCO 1997»
15 years 10 months ago
Time Bounded Frequency Computations
Maren Hinrichs, Gerd Wechsung