Sciweavers

7121 search results - page 981 / 1425
» Modeling Signs Using Functional Data Analysis
Sort
View
CORR
2011
Springer
169views Education» more  CORR 2011»
15 years 1 months ago
Streaming Tree Transducers
We introduce streaming tree transducers as an analyzable and expressive model for transforming hierarchically structured data in a single pass. Given a linear encoding of the inpu...
Rajeev Alur, Loris D'Antoni
INFOCOM
2007
IEEE
16 years 1 months ago
Achievable Capacity Under the Interference Temperature Model
— The Interference Temperature Model was proposed by the FCC in 2003 as a way to dynamically manage and allocate spectrum resources. It would allow unlicensed radios to sense the...
Thomas C. Clancy
CVPR
2000
IEEE
16 years 8 months ago
Hierarchical Structure and Nonrigid Motion Recovery from 2D Monocular Views
Inferring both 3D structure and motion of nonrigid objects from monocular images is an important problem in computational vision. The challenges stem not only from the absence of ...
Lin Zhou, Chandra Kambhamettu
BIRTHDAY
2003
Springer
16 years 1 days ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
ESOP
2001
Springer
15 years 11 months ago
Modeling an Algebraic Stepper
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
John Clements, Matthew Flatt, Matthias Felleisen