2520 search results - page 330 / 504 » Model-checking behavioral programs |
142
click to vote
EUROGP
2007
Springer
15 years 8 months ago
2007
Springer
This work analyzes fitness landscapes for the image filter design problem approached using functional-level Cartesian Genetic Programming. Smoothness and ruggedness of fitness l...
105
click to vote
IMSCCS
2006
IEEE
15 years 8 months ago
2006
IEEE
The computer architecture of Single-chip multiprocessor (SCMP) is one of important research topics in developing the next-generation of computer hardware. A verification environme...
116
click to vote
ISWC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper describes our first experiments in developing kinetic electronic garments, within the context of fashion and personal expression. We have integrated the shape memory al...
111
click to vote
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Although a feature model can represent commonalities and variabilities in a very concise taxonomic form, features in a feature model are merely symbols. Mapping features to other m...
116
Voted
ICALP
2005
Springer
15 years 8 months ago
2005
Springer
Labeled unranked trees are used as a model of XML documents, and logical languages for them have been studied actively over the past several years. Such logics have different purpo...