Sciweavers

1789 search results - page 205 / 358
» Extending the Choquet integral
Sort
View
NECO
2006
98views more  NECO 2006»
15 years 6 months ago
Comment on "Characterization of Subthreshold Voltage Fluctuations in Neuronal Membranes, " by M. Rudolph and A. Destexhe
In two recent papers, Rudolph and Destexhe (Neural Comp. 15, 2577-2618, 2003; Neural Comp. in press, 2005) studied a leaky integrator model (i.e. an RC-circuit) driven by correlat...
Benjamin Lindner, André Longtin
SIAMCOMP
2008
100views more  SIAMCOMP 2008»
15 years 6 months ago
On the Complexity of Verifying Consistency of XML Specifications
XML specifications often consist of a type definition (typically, a DTD) and a set of integrity constraints. It has been shown previously that such specifications can be inconsiste...
Marcelo Arenas, Wenfei Fan, Leonid Libkin
JCB
2007
94views more  JCB 2007»
15 years 6 months ago
A Quantile Method for Sizing Optical Maps
Optical mapping is an integrated system for the analysis of single DNA molecules. It constructs restriction maps (noted as “optical map”) from individual DNA molecules present...
Haifeng Li, Anton Valouev, David C. Schwartz, Mich...
ASE
1998
152views more  ASE 1998»
15 years 6 months ago
Apel: A Graphical Yet Executable Formalism for Process Modeling
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
Samir Dami, Jacky Estublier, Mahfoud Amiour
AMAI
1999
Springer
15 years 6 months ago
From Logic Programming Towards Multi-Agent Systems
In this paper we present an extension of logic programming (LP) that is suitable not only for the "rational" component of a single agent but also for the "reactive&...
Robert A. Kowalski, Fariba Sadri