1187 search results - page 105 / 238 » Graph-Based Procedural Abstraction |
113
click to vote
FASE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. API error-handling specifications are often not documented, necessitating automated specification mining. Automated mining of error-handling specifications is challenging...
109
Voted
ACNS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...
90
Voted
ECCV
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We propose an algorithm for recursive estimation of structure and motion in rigid body perspective dynamic systems, based on the novel concept of continuous-differential ...
117
Voted
RELMICS
2000
Springer
15 years 5 months ago
2000
Springer
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
124
click to vote
DLOG
2007
15 years 4 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...