Sciweavers

2001 search results - page 259 / 401
» Semantic Activity Recognition
Sort
View
126
Voted
EURODAC
1995
IEEE
156views VHDL» more  EURODAC 1995»
15 years 5 months ago
VHDL quality: synthesizability, complexity and efficiency evaluation
With VHDL models increasing their size, it becomes more important to assure the quality of these descriptions in order to improve simulation performances, to make project maintain...
M. Mastretti
SEBD
2008
306views Database» more  SEBD 2008»
15 years 3 months ago
Instance Matching for Ontology Population
In the context of ontology evolution, ontology population is the activity of acquiring new semantic descriptions of data extracted from heterogeneous data sources. To this end, the...
Silvana Castano, Alfio Ferrara, Stefano Montanelli...
103
Voted
SERP
2003
15 years 3 months ago
Formal Validation of HCI User Tasks
— Our work focuses on the use of formal techniques in order to increase the quality of HCI software and of all the processes resulting from the development, verification, design...
Yamine Aït Ameur, Mickaël Baron, Patrick...
109
Voted
WM
2003
15 years 3 months ago
Case-Based Reuse of Software Examplets
: We present a software tool for examplet reuse. We define examplets to be goal-directed snippets of source code, often written for tutorial purposes, that show how to use program...
Markus Grabert, Derek G. Bridge
ENTCS
2010
110views more  ENTCS 2010»
15 years 1 months ago
Modelling Interactive Experience, Function and Performance in Ubiquitous Systems
The cost of deploying a ubiquitous system to enhance a physical environment is likely to be considerable. The success of its deployment is highly dependent on its context: the phy...
Michael D. Harrison, Mieke Massink