1914 search results - page 249 / 383 » Verification by Abstract Interpretation |
117
Voted
ISCAS
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We explore an algorithm and methodology for realtime video compression and communication over sensor network. Video is encoded using the address-event representation (A...
101
click to vote
SMC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Some of the established approaches to evaluating text clustering algorithms for information retrieval show theoretical flaws. In this paper, we analyze these flaws an...
129
Voted
ADAPTIVE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Through interaction with others, a person develops multiple perspectives that become the basis for innovation and the construction of new knowledge. This chapter discusse...
BIOSURVEILLANCE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The global health, threatened by emerging infectious diseases, pandemic influenza, and biological warfare, is becoming increasingly dependent on the rapid acquisition, p...
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...