1133 search results - page 179 / 227 » Local Logics for Traces |
160
click to vote
LICS
2009
IEEE
16 years 25 days ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
167
click to vote
BTW
2009
Springer
16 years 23 days ago
2009
Springer
: Database schemas are used to describe the logical design of a database. Diverse groups of users have different perspectives on the schema which leads to different local schemas. ...
132
click to vote
FSKD
2009
Springer
16 years 23 days ago
2009
Springer
Weather radar data is susceptible to several artifacts due to anamalous propagation, ground clutter, electronic interference, sun angle, second-trip echoes and biological contamin...
198
click to vote
IPPS
2006
IEEE
16 years 7 days ago
2006
IEEE
Because of the growing use of multimedia content over Internet, Content-Based Image Retrieval (CBIR) has recently received a lot of interest. While accurate search techniques base...
164
click to vote
ICDCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Despite increasingly distributed internet information sources with diverse storage formats and access-control constraints, most of the end applications (e.g., filters and media p...