Sciweavers

1090 search results - page 148 / 218
» Type-Directed Partial Evaluation
Sort
View
136
Voted
ICC
2008
IEEE
193views Communications» more  ICC 2008»
15 years 11 months ago
SRVF: An Energy-Efficient Link Layer Protocol for Reliable Transmission over Wireless Sensor Networks
Abstract— The 802.15.4 WSN standard provides optional reliability through positive acknowledgments. Since positive-ACKs are not designed for energy efficiency, there is significa...
Adnan Iqbal, Khurram Shahzad, Syed Ali Khayam
ICCD
2008
IEEE
160views Hardware» more  ICCD 2008»
15 years 11 months ago
An improved micro-architecture for function approximation using piecewise quadratic interpolation
We present a new micro-architecture for evaluating functions based on piecewise quadratic interpolation. The micro-architecture consists mainly of a look-up table and two multiply...
Shai Erez, Guy Even
ICRA
2008
IEEE
126views Robotics» more  ICRA 2008»
15 years 11 months ago
Towards detection of orthogonal planes in monocular images of indoor environments
— In this paper, we describe the components of a novel algorithm for the extraction of dominant orthogonal planar structures from monocular images taken in indoor environments. T...
Branislav Micusík, Horst Wildenauer, Markus...
132
Voted
KBSE
2008
IEEE
15 years 11 months ago
Test-Suite Augmentation for Evolving Software
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
Raúl A. Santelices, Pavan Kumar Chittimalli...
131
Voted
SEMCO
2008
IEEE
15 years 11 months ago
Serving the Sky: Discovering and Selecting Semantic Web Services through Dynamic Skyline Queries
Semantic Web service descriptions are typically multiparameter constructs. Discovering semantically relevant services, given a desirable service description, is typically addresse...
Dimitrios Skoutas, Dimitris Sacharidis, Alkis Simi...