3233 search results - page 92 / 647 » Validation Method for Intelligent Systems |
104
Voted
FCCM
2005
IEEE
15 years 8 months ago
2005
IEEE
In this paper, we propose a method for speeding-up applications by partitioning them between the reconfigurable hardware blocks of different granularity and mapping critical parts...
114
Voted
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
137
click to vote
ISMVL
2006
IEEE
15 years 8 months ago
2006
IEEE
Multiple-valued logic can be viewed as an alternative approach to solving many problems in transmission, storage, and processing of large and even increasing amounts of informatio...
117
click to vote
IDEAL
2005
Springer
15 years 8 months ago
2005
Springer
Consider a network of unreliable links, each of which comes with a certain price and reliability. Given a fixed budget, which links should be bought in order to maximize the syste...
111
Voted
ISSRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...