Sciweavers

428 search results - page 55 / 86
» Completeness of a Fact Extractor
Sort
View
CLEF
2010
Springer
15 years 28 days ago
Blind Relevance Feedback for the ImageCLEF Wikipedia Retrieval Task
In this paper we will describe Berkeley's approach to the ImageCLEF Wikipedia Retrieval task for 2010. Our approach to this task was primarily to use text-based searches on th...
Ray R. Larson
ATAL
2010
Springer
15 years 1 days ago
Verifying agents with memory is harder than it seemed
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
Nils Bulling, Wojciech Jamroga
ACTA
2007
126views more  ACTA 2007»
14 years 12 months ago
The syntactic monoid of hairpin-free languages
The study of hairpin-free words has been initiated in the context of DNA computing. DNA strands that, theoretically speaking, are finite strings over the alphabet {A, G, C, T} are...
Lila Kari, Kalpana Mahalingam, Gabriel Thierrin
AR
2008
134views more  AR 2008»
14 years 12 months ago
Human Perception of Pneumatic Tactile Cues
The ability to combine tactile, on-the-skin, sensory cues with the kinesthetic ones that widely available force-feedback devices are able to produce is a desirable one, opening th...
Yeongmi Kim, Ian Oakley, Jeha Ryu
EJC
2008
14 years 12 months ago
On digraph coloring problems and treewidth duality
It is known that every constraint-satisfaction problem (CSP) reduces, and is in fact polynomially equivalent, to a digraph coloring problem. By carefully analyzing the constructio...
Albert Atserias