Sciweavers

4103 search results - page 131 / 821
» Some results on the Collatz problem
Sort
View
ALGORITHMICA
1999
156views more  ALGORITHMICA 1999»
15 years 6 months ago
Competitive Optimal On-Line Leasing
Consider an on-line player who needs some equipment (e.g., a computer) for an initially unknown number of periods. At the start of each period it is determined whether the player w...
Ran El-Yaniv, R. Kaniel, Nathan Linial
ISCAS
2003
IEEE
102views Hardware» more  ISCAS 2003»
15 years 12 months ago
Bifurcation analysis of a power-factor-correction boost converter: uncovering fast-scale instability
Bifurcation analysis is performed to a power-factor-correction (PFC) boost converter to examine the fast-scale instability problem. Computer simulations and analysis reveal the po...
C. K. Michael Tse, Octavian Dranga, Herbert H. C. ...
TABLEAUX
2000
Springer
15 years 10 months ago
Consistency Testing: The RACE Experience
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
Volker Haarslev, Ralf Möller
NIPS
2004
15 years 8 months ago
Density Level Detection is Classification
We show that anomaly detection can be interpreted as a binary classification problem. Using this interpretation we propose a support vector machine (SVM) for anomaly detection. We...
Ingo Steinwart, Don R. Hush, Clint Scovel
AAAI
1994
15 years 8 months ago
On the Nature of Modal Truth Criteria in Planning
Chapman's paper, ``Planning for Conjunctive Goals,'' has been widely acknowledged for its contribution toward understanding the nature of nonlinear (partial-order) ...
Subbarao Kambhampati, Dana S. Nau