12981 search results - page 2320 / 2597 » Model Checking (Abstract) |
155
click to vote
MICCAI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. This paper presents an extended version of the fully automated 3D cerebral vessel reconstruction algorithm developed by Wilson and Noble [11] which is applicable to time-...
148
click to vote
PPDP
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. Despite extensive theoretical work on process-calculi, virtual machine specifications and implementations of actual computational models are still scarce. This paper pre...
136
click to vote
STACS
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. We advocate to analyze the average complexity of learning problems. An appropriate framework for this purpose is introduced. Based on it we consider the problem of learni...
155
click to vote
WEBDB
1999
Springer
15 years 8 months ago
1999
Springer
ABSTRACT A WebView is a web page that is automatically created from base data, which are usually drawn from a DBMS. A WebView can be either materialized as an html page at the web...
155
click to vote
AMET
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...