9067 search results - page 708 / 1814 » Adaptive Model Checking |
203
Voted
BILDMED
2008
15 years 9 months ago
2008
: We decompose molecular surfaces which are in the form of Van der Waals model into a structure adapted for mesh-free modeling. Our focus is on the generation of spherical patches ...
202
click to vote
EUROGP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The Broadcast Language is a programming formalism devised by Holland in 1975, which aims at improving the efficiency of Genetic Algorithms (GAs) during long-term evolutio...
199
click to vote
CIKM
2008
Springer
15 years 9 months ago
2008
Springer
Although Locality-Sensitive Hashing (LSH) is a promising approach to similarity search in high-dimensional spaces, it has not been considered practical partly because its search q...
179
click to vote
ICFCA
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. In a previous ICFCA paper we have shown that, in the Description Logics EL and ELgfp, the set of general concept inclusions holding in a finite model always has a finit...
157
click to vote
AIMS
2007
Springer
16 years 1 months ago
2007
Springer
Different kinds of malware like the botnets and the worms are a main threat on Internet for the current and future. Their efficiency to control systems is proved and we are invest...