5165 search results - page 865 / 1033 » Consistency of the Neighbor-Net Algorithm |
152
click to vote
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We address model checking problem for combination of Computation Tree Logic (CTL) and Propositional Logic of Knowledge (PLK) in finite systems with the perfect recall syn...
127
click to vote
DAS
2008
Springer
15 years 4 months ago
2008
Springer
Automatic Term Recognition (ATR) is concerned with discovering terminology in large volumes of text corpora. Technical terms are vital elements for understanding the techniques us...
113
click to vote
DAS
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents an edge-directed super-resolution algorithm for gray level document images without using any training set. This technique creates an image with smooth regions ...
130
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The original Semantic Web vision was explicit in the need for intelligent autonomous agents that would represent users and help them navigate the Semantic Web. We argue t...
150
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...