Sciweavers

690 search results - page 32 / 138
» Cross-lingual keyword assignment
Sort
View
ICALT
2006
IEEE
16 years 6 days ago
A Semi-Automatic Tool using Ontology to Extract Learning Objects
The approach presented in this paper is intended for the semi-automatic construction of a learning object repository from HTML pages. An extraction method consists of applying the...
Bich-Liên Doan, Yolaine Bourda, Vasile Dumit...
TLDI
2003
ACM
108views Formal Methods» more  TLDI 2003»
15 years 11 months ago
Inferring annotated types for inter-procedural register allocation with constructor flattening
We introduce an annotated type system for a compiler intermediate language. The type system is designed to support inter-procedural register allocation and the representation of t...
Torben Amtoft, Robert Muller
ICSQP
1994
15 years 7 months ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
SYNTHESE
2008
68views more  SYNTHESE 2008»
15 years 6 months ago
Some remarks on the bearing of model theory on the theory of theories
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
William Demopoulos
CORR
2004
Springer
113views Education» more  CORR 2004»
15 years 6 months ago
RRL: A Rich Representation Language for the Description of Agent Behaviour in NECA
In this paper, we describe the Rich Representation Language (RRL) which is used in the NECA system. The NECA system generates interactions between two or more animated characters....
Paul Piwek, Brigitte Krenn, Marc Schröder, Ma...