10159 search results - page 491 / 2032 » System Design Validation Using Formal Models |
178
click to vote
GI
1998
Springer
15 years 9 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
207
click to vote
JCDL
2011
ACM
14 years 8 months ago
2011
ACM
A pattern is a model or a template used to summarize and describe the behavior (or the trend) of a data having generally some recurrent events. Patterns have received a considerab...
106
click to vote
GECCO
2003
Springer
15 years 10 months ago
2003
Springer
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
134
Voted
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
145
click to vote
ESWA
2006
15 years 5 months ago
2006
In the past, the selection of resources to execute various warehouse operation services was done solely by experts. In this paper, a RFIDbased Resource Management System (RFID-RMS...