1631 search results - page 122 / 327 » Observing Functional Logic Computations |
141
click to vote
NIPS
2007
15 years 5 months ago
2007
We construct a biologically motivated stochastic differential model of the neural and hemodynamic activity underlying the observed Blood Oxygen Level Dependent (BOLD) signal in Fu...
145
Voted
SBCCI
2004
ACM
15 years 9 months ago
2004
ACM
Digital Control System in the industry has been used in most of the applications based on expensive Programmable Logical Controllers (PLC). These Systems are, in general, highly c...
132
Voted
CONCUR
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We study the decidability and complexity of verification problems for timed automata over time intervals of fixed, bounded length. One of our main results is that time-bo...
111
Voted
ICCAD
2008
IEEE
16 years 16 days ago
2008
IEEE
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
171
Voted
KES
2007
Springer
2007
Springer
Inductive Concept Retrieval and Query Answering with Semantic Knowledge Bases Through Kernel Methods
15 years 9 months ago
This work deals with the application of kernel methods to structured relational settings such as semantic knowledge bases expressed in Description Logics. Our method integrates a n...