6978 search results - page 1051 / 1396 » On Proofs in System P |
185
click to vote
ISWC
2006
IEEE
16 years 26 days ago
2006
IEEE
Blind and visually-impaired people cannot access essential information in the form of written text in our environment (e.g., on restaurant menus, street signs, door labels, produc...
208
click to vote
SEW
2006
IEEE
16 years 26 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
212
click to vote
WOWMOM
2006
ACM
16 years 24 days ago
2006
ACM
A wireless sensor network typically consists of a dense deployment of sensor nodes to achieve higher resolution and better network coverage. A dense network also increases the fau...
189
click to vote
XIMEP
2006
ACM
16 years 24 days ago
2006
ACM
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
170
click to vote
CSB
2005
IEEE
16 years 14 days ago
2005
IEEE
This work presents the development of algorithms for approximate string matching using parallel methods. It intends to do the maximum of molecular sequences comparisons per unity ...