2272 search results - page 369 / 455 » Validity Invariants and Effects |
143
click to vote
MST
2010
14 years 10 months ago
2010
This paper is devoted to the study of self-referential proofs and/or justifications, i.e., valid proofs that prove statements about these same proofs. The goal is to investigate wh...
167
click to vote
MVA
2010
14 years 10 months ago
2010
Studying ancient inscriptions is based up to date mostly on observation and manual analysis by means of which epigraphists attempt to establish a geographical and chronological cla...
117
click to vote
NAR
2010
14 years 10 months ago
2010
The continuing threat of infectious disease and future pandemics, coupled to the continuous increase of drug-resistant pathogens, makes the discovery of new and better vaccines im...
129
click to vote
TIFS
2010
14 years 10 months ago
2010
Recently developed video editing techniques have enabled us to create realistic synthesized videos. Therefore, using video data as evidence in places such as courts of law requires...
253
click to vote
TIP
2010
14 years 10 months ago
2010
We explore camera scheduling and energy allocation strategies for lifetime optimization in image sensor networks. For the application scenarios that we consider, visual coverage ov...