Sciweavers

8636 search results - page 1349 / 1728
» How Developers Copy
Sort
View
EWSN
2010
Springer
15 years 8 months ago
Mitigating the Effects of RF Interference through RSSI-Based Error Recovery
On a common sensor node platform (Telos) we sample RSSI with high frequency during packet reception. We find that a packet collision (RF interference) often manifests as a measurab...
Jan-Hinrich Hauer, Andreas Willig, Adam Wolisz
FOSSACS
2010
Springer
15 years 8 months ago
Untyped Recursion Schemes and Infinite Intersection Types
A new framework for higher-order program verification has been recently proposed, in which higher-order functional programs are modelled as higher-order recursion schemes and then ...
Takeshi Tsukada, Naoki Kobayashi
ECMDAFA
2009
Springer
81views Hardware» more  ECMDAFA 2009»
15 years 8 months ago
Enabling Automated Traceability Maintenance through the Upkeep of Traceability Relations
Abstract. Traceability is demanded within mature development processes and offers a wide range of advantages. Nevertheless, there are deterrents to establishing traceability: it c...
Patrick Mäder, Orlena Gotel, Ilka Philippow
EDOC
2009
IEEE
15 years 8 months ago
A Goal-Oriented Requirements Modelling Language for Enterprise Architecture
Methods for enterprise architecture, such as TOGAF, acknowledge the importance of requirements engineering in the development of enterprise architectures. Modelling support is nee...
Dick A. C. Quartel, Wilco Engelsman, Henk Jonkers,...
ECCV
2010
Springer
15 years 7 months ago
Avoiding confusing features in place recognition
We seek to recognize the place depicted in a query image using a database of “street side” images annotated with geolocation information. This is a challenging task due to chan...
« Prev « First page 1349 / 1728 Last » Next »