Sciweavers

547 search results - page 37 / 110
» Teaching with technology, setting an example
Sort
View
CADE
2008
Springer
14 years 8 months ago
Collaborative Programming: Applications of Logic and Automated Reasoning
Collaborative Programming is characterized by groups of people issuing instructions to computer systems. Collaborative Programming languages differ from traditional programming lan...
Timothy L. Hinrichs
IRI
2009
IEEE
14 years 2 months ago
Collaborative Schema Construction using Regular Sequence Types
In this paper we describe an approach to build XML schemas in a collaborative way. The approach is based on computing intersection between sequences of type terms built over const...
Jorge Coelho, Mário Florido, Temur Kutsia
AWIC
2005
Springer
14 years 1 months ago
Tuples Extraction from HTML Using Logic Wrappers and Inductive Logic Programming
This paper presents an approach for applying inductive logic programming to information extraction from HTML documents structured as unranked ordered trees. We consider information...
Costin Badica, Amelia Badica, Elvira Popescu
DARE
2000
77views more  DARE 2000»
13 years 9 months ago
In search of metaphors for tangible user intefaces
: In this paper, we seek to identify interesting sources of metaphor for tangible user interfaces (TUIs). We begin by doing a systematic exploration of the design space that result...
Dag Svanaes, William Verplank
SIGMOD
2002
ACM
145views Database» more  SIGMOD 2002»
13 years 7 months ago
MPEG-7 and Multimedia Database Systems
The Multimedia Description Standard MPEG-7 is an International Standard since February 2002. It defines a huge set of description classes for multimedia content, for its creation ...
Harald Kosch