7167 search results - page 154 / 1434 » A Technique for Invariant Generation |
184
Voted
ESANN
2000
15 years 8 months ago
2000
In this paper we shortly discuss the K.U. Leuven time-series prediction competition, which has been held in the framework of the International Workshop on Advanced Black-Box Techni...
180
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
: Problem statement: Term extraction is one of the layers in the ontology development process which has the task to extract all the terms contained in the input document automatica...
172
click to vote
CONCURRENCY
2007
15 years 7 months ago
2007
Runtime verification of multithreaded systems, that is, the process of finding errors in multithreaded systems as they execute, is the theme of this paper. The major goal of the...
152
click to vote
PR
2006
15 years 7 months ago
2006
Though most approaches to protein comparison are based on their structure, several studies produced evidence of a strict correlation between the surface characteristics of protein...
199
click to vote
CGF
2008
15 years 6 months ago
2008
This paper presents an online personalised non-photorealistic rendering (NPR) technique for 3D models generated from interactively sketched input. This technique has been integrat...