12373 search results - page 298 / 2475 » Semi-Logarithmic Number Systems |
148
click to vote
SAINT
2007
IEEE
15 years 11 months ago
2007
IEEE
The ubiquitous environment enables us to build systems that provide individual users with personalized navigation services in cities. In developing such a system, it is necessary ...
DFT
2003
IEEE
15 years 10 months ago
2003
IEEE
Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In this paper, a software-based approach for developing safety-critical
114
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
139
Voted
SAMT
2007
Springer
15 years 10 months ago
2007
Springer
Recommender systems apply knowledge discovery techniques to help in finding associated information. In this paper, we investigate the use of association rule mining as an underlyi...
113
click to vote
CADE
2008
Springer
16 years 5 months ago
2008
Springer
Previous CASC competitions have focused on proving difficult problems on small numbers of axioms. However, typical reasoning applications for expert systems rely on knowledge base...