Sciweavers

4609 search results - page 488 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
ICWE
2009
Springer
16 years 1 months ago
A Layout-Independent Web News Article Contents Extraction Method Based on Relevance Analysis
Abstract. The traditional Web news article contents extraction methods are time-costly and need much maintenance because they analyze the layout of news pages to generate the wrapp...
Hao Han, Takehiro Tokuda
ICASSP
2008
IEEE
16 years 1 months ago
Semantic composition process in a speech understanding system
A knowledge representation formalism for SLU is introduced. It is used for incremental and partially automated annotation of the MEDIA corpus in terms of semantic structures. An a...
Frédéric Duvert, Marie-Jean Meurs, C...
KBSE
2008
IEEE
16 years 1 months ago
APPAREIL: A Tool for Building Automated Program Translators Using Annotated Grammars
—Operations languages are used to write spacecraft operations procedures. The APPAREIL tool automates the process of generating program translators between operations languages, ...
Diego Ordóñez Camacho, Kim Mens
ADAEUROPE
2008
Springer
16 years 1 months ago
Operational Semantics of Ada Ravenscar
The Ada programming language has been designed from the ground up for safety-critical real-time systems. This trend has continued with the Ada 2005 language definition which has i...
Irfan Hamid, Elie Najm
ICNSC
2007
IEEE
16 years 1 months ago
Ceiling Light Landmarks Based Localization and Motion Control for a Mobile Robot
—This paper presents ceiling light landmarks based localization and motion control for a mobile robot. The novel mechanism design for the mobile robot is introduced, and the meth...
Hongbo Wang, Hongnian Yu, Lingfu Kong