1071 search results - page 33 / 215 » Theories of Automatic Structures and Their Complexity |
CICLING
2010
Springer
14 years 1 months ago
2010
Springer
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
IJCV
1998
13 years 7 months ago
1998
The fact that objects in the world appear in different ways depending on the scale of observation has important implications if one aims at describing them. It shows that the not...
ICTA
2009
IEEE
14 years 2 months ago
2009
IEEE
1 WCAG 2.0 (W3C Recommendation 11 Dec. 2008) recommendation includes a specific guideline regarding the readability of text contents. This paper presents an approach to adapt text ...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Sophisticated parallel matrix multiplication algorithms like PDGEMM exhibit a complex structure and can be controlled by a large set of parameters including blocking factors and bl...