3082 search results - page 400 / 617 » Deviation Analysis: A New Use of Model Checking |
162
click to vote
GECCO
2007
Springer
16 years 19 days ago
2007
Springer
Tournament selection has been widely used and studied in evolutionary algorithms. To supplement the study of tournament selection, this paper provides several models describing th...
170
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
155
click to vote
WSCG
2004
15 years 7 months ago
2004
Freeform features (FFF) manipulation is an emerging research area in geometric modelling field, which aims to develop innovative shape modification paradigms, more focused on glob...
167
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Eisenia fetida, commonly known as red wiggler or compost worm, belongs to the Lumbricidae family of the Annelida phylum. Little is known about its genome sequence alth...
163
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a novel method for analyzing reflections on arbitrary surfaces. We model reflections using a broader than usual class of imaging models, which include both perspective ...