3218 search results - page 548 / 644 » Tracking Climate Models |
123
click to vote
CONSTRAINTS
2007
15 years 3 months ago
2007
In the ECAD area, the Test Generation (TG) problem consists in finding an input vector test for some possible diagnosis (a set of faults) of a digital circuit. Such tests may have ...
121
click to vote
MICRO
2008
IEEE
15 years 3 months ago
2008
IEEE
Verification of chip multiprocessor memory systems remains challenging. While formal methods have been used to validate protocols, simulation is still the dominant method used to ...
154
click to vote
MAGS
2006
15 years 3 months ago
2006
Multi-Agent Systems (MAS) have become increasingly mature, but this maturity does not make the traditional Object Oriented (OO) approaches obsolete. On the contrary, building MAS i...
161
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
154
click to vote
AAAI
2011
14 years 3 months ago
2011
Collaborative tagging systems are now deployed extensively to help users share and organize resources. Tag prediction and recommendation systems generally model user behavior as r...