4211 search results - page 675 / 843 » Types as Abstract Interpretations |
129
click to vote
TLCA
2009
Springer
15 years 11 months ago
2009
Springer
Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanis...
127
click to vote
COLCOM
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract. Collaborative search engines (CSE) let users pool their resources and share their experiences when seeking information on the web. However, when shared, search terms and ...
143
click to vote
COMPSAC
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless sensor networks are often used by experts in many different fields to gather data pertinent to their work. Although their expertise may not include software engineering, ...
126
click to vote
ICC
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—Although predicting the RFID tag distribution before a read cycle begins would be generally difficult and even futile, a likely and interesting scenario is where the ta...
131
Voted
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—This paper presents a hierarchical control architecture that enables cooperative surveillance by a heterogeneous aerial robot network comprised of mothership unmanned ai...