615 search results - page 65 / 123 » High-Level Nondeterministic Abstractions in |
BC
2006
15 years 1 months ago
2006
Abstract A lateral-inhibition type neural field model with restricted connections is presented here and represents an experimental extension of the Continuum Neural Field Theory (C...
103
click to vote
TCAD
2008
15 years 1 months ago
2008
The verification of a system-on-chip is challenging due to its high level of integration. Multiple components in a system can behave concurrently and compete for resources. Hence, ...
115
click to vote
ENTCS
2002
15 years 1 months ago
2002
This paper extends the well-known technique of slicing to synchronous reactive programs. Synchronous languages exemplified by Esterel, Lustre, Signal and Argos, novel model of exe...
123
click to vote
PERCOM
2010
ACM
15 years 1 days ago
2010
ACM
Abstract—Becoming proficient in a sport requires significant investment in training. Wearable sensor devices can improve training due to the high level of mobility, ubiquity and...
137
Voted
DLOG
2009
14 years 11 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...