Sciweavers

1797 search results - page 249 / 360
» Regularized Winnow Methods
Sort
View
ICFEM
2004
Springer
14 years 2 months ago
Learning to Verify Safety Properties
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gu...
ICWL
2004
Springer
14 years 2 months ago
PKUSpace: A Collaborative Platform for Scientific Researching
This Paper introduces PKUSpace - a collaborative platform for scientific learning and researching. Supported by efficient automated metadata extraction and powerful text classifica...
Ming Zhang, Dongqing Yang, Zhi-Hong Deng, Ying Fen...
IDEAL
2004
Springer
14 years 2 months ago
Kernel Density Construction Using Orthogonal Forward Regression
Abstract— The paper presents an efficient construction algorithm for obtaining sparse kernel density estimates based on a regression approach that directly optimizes model gener...
Sheng Chen, Xia Hong, Chris J. Harris
XPU
2004
Springer
14 years 2 months ago
Self-Adaptability of Agile Software Processes: A Case Study on Post-iteration Workshops
None of the agile methods are claimed to fit all development situations. A team should attempt to adapt the methods and practices to fit their specific needs. For that reason agile...
Outi Salo, Kari Kolehmainen, Pekka Kyllönen, ...
CGI
2003
IEEE
14 years 2 months ago
Fast Volumetric Display of Natural Gaseous Phenomena
Mesh simplification algorithms play an important role in computer graphics. In particular, view-dependent simplification methods are utilized widely to reduce the geometric comp...
Stefan Röttger, Thomas Ertl