Sciweavers

3793 search results - page 428 / 759
» Expressive Description Logics
Sort
View
ICDAR
1999
IEEE
15 years 11 months ago
Preattentive Reading and Selective Attention for Document Image Analysis
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
Claudie Faure
REST
2010
ACM
15 years 8 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
JOT
2010
144views more  JOT 2010»
15 years 5 months ago
A Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
Farid Mokhati, Brahim Sahraoui, Soufiane Bouzaher,...
EDBT
2006
ACM
150views Database» more  EDBT 2006»
16 years 6 months ago
Improving the Efficiency of XPath Execution on Relational Systems
: This work describes a method for processing XPath on a relational back-end that significantly limits the number of SQL joins required, takes advantage of the strengths of modern ...
Haris Georgiadis, Vasilis Vassalos
ICALT
2008
IEEE
16 years 1 months ago
A Learning Environment for Promoting Structured Algebraic Thinking in Children
Although the notion of generality is central in mathematics and science, being able to identify and express general patterns and/or articulating structures is one of the main difď...
Sergio Gutiérrez Santos, Manolis Mavrikis, ...