12981 search results - page 2278 / 2597 » Model Checking (Abstract) |
164
click to vote
ICAPR
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This contribution shows how unsupervised Markovian segmentation techniques can be accelerated when implemented on graphics hardware equipped with a Graphics Processing Un...
170
click to vote
ICFCA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
185
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
173
click to vote
ICN
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Scalable group key management solutions are crucial for supporting Internet applications that are based on a group communication model. Many solutions have been proposed ...
146
click to vote
ICN
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. This paper considers the primary and secondary path generation problem in traffic engineering. We first present a standard MILP model. Since its size and integrality gap...