Sciweavers

642 search results - page 48 / 129
» Once Upon a Type
Sort
View
FSTTCS
2000
Springer
15 years 3 months ago
Inheritance in the Join Calculus
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a...
Cédric Fournet, Cosimo Laneve, Luc Maranget...
LREC
2008
162views Education» more  LREC 2008»
15 years 1 months ago
Semiotic-based Ontology Evaluation Tool (S-OntoEval)
The objective of the Semiotic-based Ontology Evaluation Tool (S-OntoEval) is to evaluate and propose improvements to a given ontological model. The evaluation aims at assessing th...
Renata Dividino, Massimo Romanelli, Daniel Sonntag
TRECVID
2008
15 years 1 months ago
IRIM at TRECVID 2008: High Level Feature Extraction
The IRIM group is a consortium of French teams working on Multimedia Indexing and Retrieval. This paper describes our participation to the TRECVID 2008 High Level Features detecti...
Hervé Glotin, Zhongqui Zhao, Stéphan...
AAAI
2006
15 years 1 months ago
Extending Dynamic Backtracking to Solve Weighted Conditional CSPs
Many planning and design problems can be characterized as optimal search over a constrained network of conditional choices with preferences. To draw upon the advanced methods of c...
Robert T. Effinger, Brian C. Williams
EHCI
2004
15 years 1 months ago
Using Interaction Style to Match the Ubiquitous User Interface to the Device-to-Hand
Ubiquitous computing requires a multitude of devices to have access ame services. Abstract specifications of user interfaces are designed to separate the definition of a user inter...
Stephen W. Gilroy, Michael D. Harrison