3028 search results - page 375 / 606 » Integrating Temporal Logics |
165
click to vote
AIPS
2009
15 years 7 months ago
2009
Solving real-world problems using symbolic planning often requires a simplified formulation of the original problem, since certain subproblems cannot be represented at all or only...
198
click to vote
LOGCOM
2008
15 years 6 months ago
2008
We consider continuous quantities that are used to describe the physical world, such as colour, shape, sound, texture, and spatial and temporal arrangements. Natural languages are...
153
click to vote
JOCN
2006
15 years 6 months ago
2006
In an event-related fMRI study, we investigated the neurocognitive processes underlying deductive reasoning. We specifically focused on three temporally separable phases: (1) the ...
173
click to vote
TCS
2008
15 years 6 months ago
2008
A notation for the functional specification of a wide range of neural networks consisting of temporal or non-temporal neurons, is proposed. The notation is primarily a mathematica...
154
click to vote
TWC
2008
15 years 6 months ago
2008
We present an optimal power scheduling scheme to maximize the throughput of a set of distributed multiple-input multiple-output (MIMO) wireless links. This scheme exploits both spa...