Sciweavers

1558 search results - page 153 / 312
» Effective Analysis and Design of Computer-Supported Learning...
Sort
View
MOBIHOC
2008
ACM
16 years 3 months ago
Rendezvous design algorithms for wireless sensor networks with a mobile base station
Recent research shows that significant energy saving can be achieved in wireless sensor networks with a mobile base station that collects data from sensor nodes via short-range co...
Guoliang Xing, Tian Wang, Weijia Jia, Minming Li
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
15 years 10 months ago
Design with race-free hardware semantics
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
Patrick Schaumont, Sandeep K. Shukla, Ingrid Verba...
ICASSP
2008
IEEE
15 years 10 months ago
Filter bank design based on minimization of individual aliasing terms for minimum mutual information subband adaptive beamformin
This paper presents new filter bank design methods for subband adaptive beamforming. In this work, we design analysis and synthesis prototypes for modulated filter banks so as t...
Ken'ichi Kumatani, John W. McDonough, S. Schachl, ...
WWW
2009
ACM
16 years 4 months ago
Automated synthesis of composite services with correctness guarantee
In this paper, we propose a novel approach for composing existing web services to satisfy the correctness constraints to the design, including freeness of deadlock and unspecified...
Ting Deng, Jinpeng Huai, Xianxian Li, Zongxia Du, ...
MAICS
2003
15 years 5 months ago
Representing Symbolic Reasoning
Introspection is a fundamental component of how we as humans reason, learn, and adapt. However, many existing computer reasoning systems exclude the possibility of introspection b...
Brian E. Mastenbrook, Eric G. Berkowitz