11436 search results - page 159 / 2288 » Modeling Real Reasoning |
134
click to vote
ECBS
2010
IEEE
15 years 10 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
128
click to vote
CGI
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents a purely hardware-accelerated shadow volume algorithm for subdivision surface based models. By introducing SP (subdivision patterns), all procedures, including ...
131
click to vote
ITCC
2005
IEEE
15 years 8 months ago
2005
IEEE
The main focus of this study is to compare different performances of soft computing paradigms for predicting the direction of individuals stocks. Three different artificial intell...
139
click to vote
RTSS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
112
click to vote
ICOIN
2003
Springer
15 years 8 months ago
2003
Springer
As the Internet population grows, not only computers but household electric appliances, such as VCRs and a refrigerators, will become connected to a network. The demand of connecti...