Sciweavers

519 search results - page 58 / 104
» Automatic Semantic Header Generator
Sort
View
COOPIS
2003
IEEE
14 years 3 months ago
Learning to Invoke Web Forms
Emerging Web standards promise a network of heterogeneous yet interoperable Web Services. Web Services would greatly simplify the development of many kinds of information agents a...
Nicholas Kushmerick
FM
2006
Springer
134views Formal Methods» more  FM 2006»
14 years 1 months ago
Formal Verification of a C Compiler Front-End
This paper presents the formal verification of a compiler front-end that translates a subset of the C language into the Cminor intermediate language. The semantics of the source an...
Sandrine Blazy, Zaynah Dargaye, Xavier Leroy
SAC
2003
ACM
14 years 3 months ago
Recognizing the Relations between Web Pages Using Artificial Neural Network
Semantic Web shows us the potential infrastructure of the next generation Web. Web information will be understandable to machines in this infrastructure. Our research work1 has th...
Xing Zhu, Shen Huang, Yong Yu
DOCENG
2008
ACM
13 years 11 months ago
Constructing a know-how repository of advices and warnings from procedural texts
In this paper, we show how a domain dependent know-how textual database of advices and warnings can be constructed from procedural texts. We show how arguments of type warnings an...
Lionel Fontan, Patrick Saint-Dizier
MMM
2009
Springer
93views Multimedia» more  MMM 2009»
14 years 6 months ago
SenseCam Image Localisation Using Hierarchical SURF Trees
The SenseCam is a wearable camera that automatically takes photos of the wearer’s activities, generating thousands of images per day. Automatically organising these images for eï...
Ciarán O. Conaire, Michael Blighe, Noel E. ...