5550 search results - page 1029 / 1110 » Different Approaches to Proof Systems |
192
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: The availability of biomedical literature in electronic format has made it possible to implement automatic text processing methods to expose implicit relationships amo...
169
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
201
click to vote
VLDB
2002
ACM
15 years 6 months ago
2002
ACM
Abstract. The proliferation of mobile and pervasive computing devices has brought energy constraints into the limelight. Energy-conscious design is important at all levels of syste...
203
click to vote
BIB
2010
15 years 3 months ago
2010
Genome-wide sequencing has enabled modern biomedical research to relate more and more events in healthy as well as disease-affected cells and tissues to the genomic sequence. Now ...
205
click to vote
PAMI
2011
15 years 1 months ago
2011
— This paper addresses recognition of human actions under view changes. We explore self-similarities of action sequences over time and observe the striking stability of such meas...