3951 search results - page 401 / 791 » Automatic amortized analysis |
148
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Assumptions about the domains of partial functions are necessary in state-of-the-art proof assistants. On the other hand when mathematicians write about partial functions...
246
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...
160
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
186
click to vote
DOCENG
2005
ACM
15 years 8 months ago
2005
ACM
Structured document content reuse is the problem of restructuring and translating data structured under a source schema into an instance of a target schema. A notion closely tied ...
172
click to vote
CIVR
2008
Springer
15 years 8 months ago
2008
Springer
Sites to share user-created video clips such as YouTube and Yahoo Video have become greatly popular in recent years. One of the challenges of such sites is, however, to prevent vi...