Sciweavers

2525 search results - page 364 / 505
» A Framework for Semantic Gossiping
Sort
View
MPC
2010
Springer
165views Mathematics» more  MPC 2010»
15 years 10 months ago
Dependently Typed Grammars
Parser combinators are a popular tool for designing parsers in functional programming languages. If such combinators generate an abstract representation of the grammar as an interm...
Kasper Brink, Stefan Holdermans, Andres Löh
ADAEUROPE
2001
Springer
15 years 10 months ago
Testing from Formal Specifications, a Generic Approach
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
Marie-Claude Gaudel
ATAL
2001
Springer
15 years 10 months ago
Formalizing a Language for Institutions and Norms
One source of trust for physical trading systems is their physical assets and simply their presence. A similar baseline does not exist for electronic trading systems, but one way i...
Marc Esteva, Julian A. Padget, Carles Sierra
NLDB
2001
Springer
15 years 10 months ago
Lexical Enrichment of WordNet with Classification Systems Using Specification Marks Method
: This paper presents an automatic method and interface to enrich semantically WordNet with categories from general domain classification systems. The method is performed in two co...
Andrés Montoyo, Manuel Palomar, German Riga...
PCM
2001
Springer
144views Multimedia» more  PCM 2001»
15 years 10 months ago
Search for Multi-modality Data in Digital Libraries
Developing effective and efficient retrieval techniques for multimedia data is a challenging issue in building a digital library. Unlike most previously proposed retrieval approac...
Jun Yang 0003, Yueting Zhuang, Qing Li