4820 search results - page 341 / 964 » Implementing Signatures for C |
106
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
A new hybrid page layout analysis algorithm is proposed, which uses bottom-up methods to form an initial data-type hypothesis and locate the tab-stops that were used when the page...
131
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
This paper presents the OWL API a high level Application Programming Interface (API) for working with OWL 2 ontologies. The API is closely aligned with the OWL 2 structural speciļ¬...
151
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
We are interested in automatically proving safety properties of inļ¬nite state systems. We present a technique for invariant synthesis which can be incorporated in backward reacha...
127
Voted
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
In this paper, we describe the opportunistic localization, which enables localization services that works seamlessly in heterogeneous environments including indoors as oppose to G...
123
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper presents an architecture for a memory model that facilitates versatile reasoning mechanisms over the beliefs stored in an agentās belief base. Based on an approach fo...