8486 search results - page 20 / 1698 » Ordered Enumeration Method |
114
click to vote
IDEAS
2007
IEEE
15 years 8 months ago
2007
IEEE
There is an increasing need for an XML query engine that not only searches for exact matches to a query but also returns “query-like” structures. We have designed and develope...
121
click to vote
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
127
click to vote
CAV
1998
Springer
15 years 6 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
124
click to vote
CASES
2004
ACM
15 years 5 months ago
2004
ACM
Extensible processors allow addition of application-specific custom instructions to the core instruction set architecture. However, it is computationally expensive to automaticall...
218
click to vote
SIAMSC
2010
15 years 9 days ago
2010
In this paper we propose a class of high order numerical methods to delta function integrals appearing in level set methods in the three dimensional case by extending the idea for ...