Sciweavers

6751 search results - page 1311 / 1351
» Engineering Quality Requirements Using Quality Models
Sort
View
124
Voted
TPDS
2010
93views more  TPDS 2010»
15 years 29 days ago
Self-Consistent MPI Performance Guidelines
Message passing using the Message Passing Interface (MPI) is at present the most widely adopted framework for programming parallel applications for distributed-memory and clustere...
Jesper Larsson Träff, William D. Gropp, Rajee...
152
Voted
TIP
2010
255views more  TIP 2010»
14 years 9 months ago
Image Super-Resolution Via Sparse Representation
This paper presents a new approach to single-image superresolution, based on sparse signal representation. Research on image statistics suggests that image patches can be wellrepre...
Jianchao Yang, John Wright, Thomas S. Huang, Yi Ma
119
Voted
FOSSACS
2008
Springer
15 years 4 months ago
Footprints in Local Reasoning
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint - that part of the resource accessed by the program. We address...
Mohammad Raza, Philippa Gardner
95
Voted
IROS
2008
IEEE
95views Robotics» more  IROS 2008»
15 years 9 months ago
Energy management for indoor hovering robots
— Flying has an advantage when compared to ground based locomotion, as it simplifies the task of overcoming obstacles and allows for rapid coverage of an area while also providi...
James F. Roberts, Jean-Christophe Zufferey, Dario ...
123
Voted
IPSN
2004
Springer
15 years 8 months ago
Nonparametric belief propagation for self-calibration in sensor networks
Automatic self-calibration of ad-hoc sensor networks is a critical need for their use in military or civilian applications. In general, self-calibration involves the combination o...
Alexander T. Ihler, John W. Fisher III, Randolph L...
« Prev « First page 1311 / 1351 Last » Next »