2542 search results - page 350 / 509 » One step ahead |
182
Voted
DEXAW
2010
IEEE
15 years 6 months ago
2010
IEEE
One possible threat to linked data quality is the lack of knowledge about the dynamics in dependent remote datasets. Linked data consuming applications often need to be aware of ch...
144
click to vote
CLEF
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we describe the system we developed for taking part in monolingual Spanish and English tasks at ResPubliQA 2009. Our system was composed by an IR phase focused on im...
175
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Modular certification of low-level intermediate representation (IR) programs is one of the key steps of proof-transforming compilation. The major challenges are lexity of abstract ...
162
click to vote
EUROPAR
2010
Springer
15 years 6 months ago
2010
Springer
Ants provide an attractive metaphor for robots that "cooperate" in performing complex tasks. What, however, are the algorithmic consequences of following this metaphor? ...
135
Voted
GIS
2008
ACM
15 years 6 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...