10874 search results - page 295 / 2175 » An Improvement in Sugeno-Yasukawa Modeler |
171
click to vote
DATE
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
132
click to vote
ICNS
2007
IEEE
16 years 1 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...
162
click to vote
IEEECIT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper proposes a new visual modeling environment for embedded component systems that improves the productivity of application developers. This embedded component system decre...
151
click to vote
DIS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. This chapter describes how we used regression rules to improve upon results previously published in the Earth science literature. In such a scientific application of mac...
201
click to vote
ICMCS
2006
IEEE
16 years 24 days ago
2006
IEEE
For large scale automatic semantic video characterization, it is necessary to learn and model a large number of semantic concepts. These semantic concepts do not exist in isolatio...