Sciweavers

2223 search results - page 318 / 445
» Events in Property Patterns
Sort
View
BIRTHDAY
2007
Springer
15 years 8 months ago
Automating Verification of Cooperation, Control, and Design in Traffic Applications
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
Werner Damm, Alfred Mikschl, Jens Oehlerking, Erns...
CANDC
2007
ACM
15 years 8 months ago
The resourcefulness of everyday design
We discuss our study that looks at family members as everyday designers. We explain the design actions of family members to be creative, as evidenced by the resourceful appropriat...
Ron Wakkary, Leah Maestri
165
Voted
EUROGP
2007
Springer
145views Optimization» more  EUROGP 2007»
15 years 8 months ago
GP Classifier Problem Decomposition Using First-Price and Second-Price Auctions
This work details an auction-based model for problem decomposition in Genetic Programming classification. The approach builds on the population-based methodology of Genetic Progra...
Peter Lichodzijewski, Malcolm I. Heywood
GECCO
2007
Springer
184views Optimization» more  GECCO 2007»
15 years 8 months ago
Evolving kernels for support vector machine classification
While support vector machines (SVMs) have shown great promise in supervised classification problems, researchers have had to rely on expert domain knowledge when choosing the SVM&...
Keith Sullivan, Sean Luke
137
Voted
ICAS
2009
IEEE
131views Robotics» more  ICAS 2009»
15 years 8 months ago
Gait Synthesis for Legged Underwater Vehicles
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
Andrew German, Michael R. M. Jenkin