Sciweavers

6833 search results - page 205 / 1367
» Some two-character sets
Sort
View
ATVA
2007
Springer
118views Hardware» more  ATVA 2007»
15 years 11 months ago
Pruning State Spaces with Extended Beam Search
This paper focuses on using beam search, a heuristic search algorithm, for pruning state spaces while generating. The original beam search is adapted to the state space generation ...
Muhammad Torabi Dashti, Anton Wijs
GI
2007
Springer
15 years 11 months ago
Trajectory Clustering and Coastal Surveillance
: In this paper we explore trajectory clustering as a means for representing the normal behavior of vessels in a coastal surveillance scenario. Trajectory clustering however suffer...
Anders Dahlbom, Lars Niklasson
AWIC
2005
Springer
15 years 10 months ago
Fuzzy Constraint Based Answer Validation
Abstract. Answer validation is an important component of any question answering system. In this paper we show how the formalism of prioritized fuzzy constraint satisfaction allows ...
Steven Schockaert, Martine De Cock, Etienne E. Ker...
WG
2005
Springer
15 years 10 months ago
Optimal Broadcast Domination of Arbitrary Graphs in Polynomial Time
Broadcast domination was introduced by Erwin in 2002, and it is a variant of the standard dominating set problem, such that vertices can be assigned various domination powers. Broa...
Pinar Heggernes, Daniel Lokshtanov
EWSA
2004
Springer
15 years 10 months ago
Correct Development of Embedded Systems
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
Susanne Graf, Jozef Hooman