Sciweavers

5634 search results - page 481 / 1127
» About Abstract Classes
Sort
View
FCT
2007
Springer
15 years 10 months ago
Productivity of Stream Definitions
We give an algorithm for deciding productivity of a large and natural class of recursive stream definitions. A stream definition is called `productive' if it can be evaluated ...
Jörg Endrullis, Clemens Grabmayer, Dimitri He...
DASFAA
2009
IEEE
149views Database» more  DASFAA 2009»
15 years 10 months ago
Demonstrating Effective Ranked XML Keyword Search with Meaningful Result Display
Abstract. In this paper, we demonstrate an effective ranked XML keyword search with meaningful result display. Our system, named ICRA, recognizes a set of object classes in XML dat...
Zhifeng Bao, Bo Chen, Tok Wang Ling, Jiaheng Lu
HYBRID
2007
Springer
15 years 10 months ago
Piecewise Constant Feedback Control of Piecewise Affine Gene Network Models
Abstract. The use of hybrid dynamical systems to model gene regulation is impelled by the switch-like behaviour of the latter. Piecewise affine differential equations is one of the...
Etienne Farcot, Jean-Luc Gouzé
ICANN
2007
Springer
15 years 10 months ago
Classifying EEG Data into Different Memory Loads Across Subjects
Abstract. In this paper we consider the question of whether it is possible to classify n-back EEG data into different memory loads across subjects. To capture relevant information ...
Liang Wu, Predrag Neskovic
IAT
2009
IEEE
15 years 10 months ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin