6800 search results - page 1101 / 1360 » Testing with Functions as Specifications |
116
click to vote
ROMAN
2007
IEEE
15 years 11 months ago
2007
IEEE
— The paper presents an approach to intelligent, interactive people following for autonomous robots. The approach combines robust methods for simultaneous localization and mappin...
149
click to vote
SECON
2007
IEEE
15 years 11 months ago
2007
IEEE
— Wireless sensor networks are increasingly being employed for potentially hazardous and critical applications such as monitoring the gas concentration levels in a battle field....
161
click to vote
ICASSP
2007
IEEE
15 years 11 months ago
2007
IEEE
A novel method for robust super-resolution offace images is proposed in this paper. Face super-resolution is a particular interest in video surveillance where face images have typ...
146
click to vote
BIOWIRE
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we explore some of the connections between cooperative game theory and the utility maximization framework for routing and flow control in networks. Central to both a...
125
click to vote
ECOWS
2007
Springer
15 years 11 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...