Sciweavers

1750 search results - page 288 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
SLOGICA
2002
74views more  SLOGICA 2002»
14 years 9 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli
IJAMC
2010
94views more  IJAMC 2010»
14 years 8 months ago
Middleware mechanisms for interaction interoperability in Collaborative Virtual Environments
—In this paper, we discuss interaction interoperability in Collaborative Virtual Environments (CVE), intended to mean the ability of two or more users to cooperate despite the he...
Mario Ciampi, Luigi Gallo, Antonio Coronato, Giuse...
SCP
2010
154views more  SCP 2010»
14 years 8 months ago
An algebraic foundation for automatic feature-based program synthesis
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
Sven Apel, Christian Lengauer, Bernhard Mölle...
IGPL
2010
142views more  IGPL 2010»
14 years 7 months ago
Logics of Kripke meta-models
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
Sergey Babenyshev, Vladimir V. Rybakov
IJACTAICIT
2010
122views more  IJACTAICIT 2010»
14 years 7 months ago
Intelligent Integrated Management for Telecommunication Networks
As the size of communication networks keeps on growing, faster connections, cooperating technologies and the divergence of equipment and data communications, the management of the...
Antonio Martín, Carlos León, F&eacut...