918 search results - page 146 / 184 » Speculative Issue Logic |
113
click to vote
EVOW
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. The genomic median problem is an optimization problem inspired by a biological issue: it aims at finding the chromosome organization of the common ancestor to multiple li...
116
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
DAGSTUHL
2007
15 years 3 months ago
2007
With the emergence of wireless sensor networks, the issues of event recognition and processing have been partially shifted into the embedded domain. New processing capabilities on...
ERSA
2008
15 years 3 months ago
2008
- This paper presents a framework that improves the portability and ease-of-use issues of current Reconfigurable Computers (RCs). These two drawbacks should be solved in order for ...
129
click to vote
LREC
2008
15 years 3 months ago
2008
In the field of ontology mapping, multilingual ontology mapping is an issue that is not well explored. This paper proposes a framework for mapping of multilingual Description Logi...