1569 search results - page 112 / 314 » Automated Design Improvement by Example |
111
Voted
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
114
Voted
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
142
Voted
DAC
1996
ACM
15 years 7 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
126
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
The early architectural design stage is a typical example where traditional design tools such as sketching on paper still dominate over computer-assisted tools. Augmented reality ...
132
click to vote
VDA
2010
15 years 5 months ago
2010
Design patterns have proven to be a useful means to make the process of designing, developing, and reusing software systems more efficient. In the area of information visualizatio...