Sciweavers

1363 search results - page 181 / 273
» On some Relations between Dynamical Systems and Transition S...
Sort
View
DATE
2002
IEEE
118views Hardware» more  DATE 2002»
15 years 2 months ago
A Complete Data Scheduler for Multi-Context Reconfigurable Architectures
: A new technique is presented in this paper to improve the efficiency of data scheduling for multi-context reconfigurable architectures targeting multimedia and DSP applications. ...
Marcos Sanchez-Elez, Milagros Fernández, Ra...
IWFM
1998
14 years 11 months ago
Strictly Level-Decreasing Logic Programs
We study strictly level-decreasing logic programs (sld-programs) as defined earlier by the present authors. It will be seen that sld-programs, unlike most other classes of logic p...
Anthony Karel Seda, Pascal Hitzler
ENTCS
2002
112views more  ENTCS 2002»
14 years 9 months ago
Ambient Calculus and its Logic in the Calculus of Inductive Constructions
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
Ivan Scagnetto, Marino Miculan
JASSS
1998
82views more  JASSS 1998»
14 years 9 months ago
Qualitative modeling and simulation of socio-economic phenomena
This paper describes an application of recently developed qualitative reasoning techniques to complex, socio{economic allocation problems. We explain why we believe traditional op...
Giorgio Brajnik, Marji Lines
ICASSP
2009
IEEE
15 years 4 months ago
Acoustic fall detection using Gaussian mixture models and GMM supervectors
We present a system that detects human falls in the home environment, distinguishing them from competing noise, by using only the audio signal from a single far-field microphone....
Xiaodan Zhuang, Jing Huang, Gerasimos Potamianos, ...