Sciweavers

12670 search results - page 352 / 2534
» Requirements Modeling
Sort
View
CEC
2005
IEEE
16 years 12 days ago
CasGP: building cascaded hierarchical models using niching
— A Cascaded model is introduced for mining large datasets using Genetic Programming without recourse to specialist hardware. Such an algorithm satisfies the seeming conflictin...
Peter Lichodzijewski, Malcolm I. Heywood, A. Nur Z...
200
Voted
DATE
2005
IEEE
154views Hardware» more  DATE 2005»
16 years 12 days ago
A Time Slice Based Scheduler Model for System Level Design
Efficient evaluation of design choices, in terms of selection of algorithms to be implemented as hardware or software, and finding an optimal hw/sw design mix is an important re...
Luciano Lavagno, Claudio Passerone, Vishal Shah, Y...
AIME
2005
Springer
16 years 10 days ago
Ontology-Driven Extraction of Linguistic Patterns for Modelling Clinical Guidelines
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
Radu Serban, Annette ten Teije, Frank van Harmelen...
ICMLC
2005
Springer
16 years 8 days ago
Adaptive Online Multi-stroke Sketch Recognition Based on Hidden Markov Model
This paper presents a novel approach for adaptive online multi-stroke sketch recognition based on Hidden Markov Model (HMM). The method views the drawing sketch as the result of a ...
Zhengxing Sun, Wei Jiang, Jianyong Sun
CAV
2009
Springer
116views Hardware» more  CAV 2009»
15 years 11 months ago
Priority Scheduling of Distributed Systems Based on Model Checking
Priorities are used to control the execution of systems to meet given requirements for optimal use of resources, e.g., by using scheduling policies. For distributed systems, it is ...
Ananda Basu, Saddek Bensalem, Doron Peled, Joseph ...