796 search results - page 95 / 160 » An Overview of Separation Logic |
105
click to vote
SWAP
2007
15 years 1 months ago
2007
We address the problem of reasoning with instances of heterogeneously formalized ontologies. Given a set of semantic mappings, reconciling conceptual and instance level heterogenei...
103
click to vote
CORR
2007
Springer
15 years 21 days ago
2007
Springer
We present CurryBrowser, a generic analysis environment for the declarative multi-paradigm language Curry. CurryBrowser supports browsing through the program code of an application...
93
Voted
WWW
2001
ACM
16 years 1 months ago
2001
ACM
Limitation in display size and resolution on mobile devices is one of the main obstacles for wide-spread use of web applications in a wireless environment. Web pages are often too ...
126
click to vote
ICDAR
2005
IEEE
15 years 6 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
83
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Expander2 is a flexible multi-purpose workbench for interactive rewriting, verification, constraint solving, flow graph analysis and other procedures that build up proofs or co...