Sciweavers

3995 search results - page 216 / 799
» Linearization of hybrid processes
Sort
View
MOBIHOC
2009
ACM
16 years 5 months ago
Characterizing the exit process of a non-saturated IEEE 802.11 wireless network
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
Punit Rathod, Onkar Dabeer, Abhay Karandikar, Anir...
NLE
2008
109views more  NLE 2008»
15 years 4 months ago
Natural language processing in CLIME, a multilingual legal advisory system
This paper describes clime, a web-based legal advisory system with a multilingual natural language interface. clime is a `proof-of-concept' system which answers queries relat...
Roger Evans, Paul Piwek, Lynne J. Cahill, Neil Tip...
ISBI
2006
IEEE
16 years 5 months ago
Linearly constrained MEG beamformers for MVAR modeling of cortical interactions
Among the many methods for modeling cortical interactions using EEG and MEG data, Multivariate Autoregressive(MVAR) functional connectivity measures have the advantage of providin...
Hua Brian Hui, Richard M. Leahy
FM
2009
Springer
104views Formal Methods» more  FM 2009»
15 years 11 months ago
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis
Abstract. We present a new domain for analyzing must-equalities between address expressions. The domain is a smooth combination of Herbrand and affine equalities which enables us t...
Helmut Seidl, Vesal Vojdani, Varmo Vene
ICRA
2007
IEEE
155views Robotics» more  ICRA 2007»
15 years 10 months ago
Value Function Approximation on Non-Linear Manifolds for Robot Motor Control
— The least squares approach works efficiently in value function approximation, given appropriate basis functions. Because of its smoothness, the Gaussian kernel is a popular an...
Masashi Sugiyama, Hirotaka Hachiya, Christopher To...