Sciweavers

1943 search results - page 214 / 389
» Ordering Default Theories
Sort
View
184
Voted
COCOON
2008
Springer
15 years 9 months ago
Spectrum Bidding in Wireless Networks and Related
In this paper, we study the spectrum assignment problem for wireless access networks. Opportunistic spectrum usage is a promising technology. However, it could suffer from the self...
Xiang-Yang Li, Ping Xu, ShaoJie Tang, Xiaowen Chu
FOSSACS
2008
Springer
15 years 8 months ago
Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
Guilherme Rangel, Barbara König, Hartmut Ehri...
133
Voted
LREC
2008
81views Education» more  LREC 2008»
15 years 8 months ago
Creating and Exploiting Multimodal Annotated Corpora
The paper presents a project of the Laboratoire Parole et Langage which aims at collecting, annotating and exploiting a corpus of spoken French in a multimodal perspective. The pr...
Philippe Blache, Roxane Bertrand, Gaëlle Ferr...
IMAMS
2007
157views Mathematics» more  IMAMS 2007»
15 years 8 months ago
Regularity Criteria for the Topology of Algebraic Curves and Surfaces
In this paper, we consider the problem of analysing the shape of an object defined by polynomial equations in a domain. We describe regularity criteria which allow us to determine...
Lionel Alberti, Bernard Mourrain
CLA
2004
15 years 8 months ago
Ontology Design with Formal Concept Analysis
Ontologies, often defined as an explicit specification of conceptualization, are necessary for knowledge representation and knowledge exchange. Usually this means that ontology des...
Marek Obitko, Václav Snásel, Jan Smi...