12981 search results - page 2485 / 2597 » Model Checking and Abstraction |
112
click to vote
ICRA
2010
IEEE
14 years 12 months ago
2010
IEEE
Abstract— Most unmanned aerial robots use a Global Navigation Satellite System (GNSS), such as GPS, GLONASS, and Galileo, for their navigation. However, from time to time the GNS...
114
click to vote
JSAC
2010
14 years 12 months ago
2010
Abstract—In this paper, we study how to optimize the transmission decisions of nodes aimed at supporting mission-critical applications, such as surveillance, security monitoring,...
125
click to vote
JUCS
2010
14 years 12 months ago
2010
Abstract: This paper addresses the problem of expressing preferences among nonfunctional properties of services in a Web service architecture. In such a context, semantic and non-f...
171
click to vote
TAL
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Geographic Information Retrieval (GIR) is a specialized Information Retrieval (IR) branch that deals with information related to geographical locations. Traditional IR en...
134
click to vote
BIBM
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Protein-protein interactions (PPI) play an important role in cellular processes and metabolic processes within a cell. An important task is to determine the existence of ...