Sciweavers

9491 search results - page 1606 / 1899
» Modeling Cultural Dynamics
Sort
View
GIS
2008
ACM
16 years 7 months ago
Using tomography for ubiquitous sensing
By embedding sensors in mobile devices, it is possible to exploit the ubiquitous presence of these devices to construct applications for large-scale sensing and monitoring of envi...
Stacy Patterson, Bassam Bamieh, Amr El Abbadi
DAC
1999
ACM
16 years 7 months ago
Synthesis of Embedded Software Using Free-Choice Petri Nets
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Marco Sgroi, Luciano Lavagno
MICCAI
2006
Springer
16 years 7 months ago
Boosting and Nonparametric Based Tracking of Tagged MRI Cardiac Boundaries
Abstract. In this paper we present an accurate cardiac boundary tracking method for 2D tagged MRI time sequences. This method naturally integrates the motion and the static local a...
Zhen Qian, Dimitris N. Metaxas, Leon Axel
ICML
2006
IEEE
16 years 7 months ago
Bayesian regression with input noise for high dimensional data
This paper examines high dimensional regression with noise-contaminated input and output data. Goals of such learning problems include optimal prediction with noiseless query poin...
Jo-Anne Ting, Aaron D'Souza, Stefan Schaal
SIGSOFT
2005
ACM
16 years 7 months ago
Lightweight object specification with typestates
Previous work has proven typestates to be useful for modeling protocols in object-oriented languages. We build on this work by addressing substitutability of subtypes as well as i...
Kevin Bierhoff, Jonathan Aldrich
« Prev « First page 1606 / 1899 Last » Next »