Sciweavers

2778 search results - page 213 / 556
» Limit complexities revisited
Sort
View
MCS
2009
Springer
15 years 11 months ago
An Empirical Study of a Linear Regression Combiner on Multi-class Data Sets
The meta-learner MLR (Multi-response Linear Regression) has been proposed as a trainable combiner for fusing heterogeneous baselevel classifiers. Although it has interesting prope...
Chun-Xia Zhang, Robert P. W. Duin
DIS
2001
Springer
15 years 11 months ago
Dynamic Aggregation to Support Pattern Discovery: A Case Study with Web Logs
Rapid growth of digital data collections is overwhelming the capabilities of humans to comprehend them without aid. The extraction of useful data from large raw data sets is someth...
Lida Tang, Ben Shneiderman
APSEC
2000
IEEE
15 years 11 months ago
Virtual worlds for Web site visualisation
Internet and intranet web sites have become an integral part of software development as well as the wider fields of commercial, educational and recreational activity. In order to...
Danita Hartley, Neville Churcher, Greg Albertson
EUROMICRO
2000
IEEE
15 years 11 months ago
Formal Coverification of Embedded Systems Using Model Checking
The complexity of embedded systems is increasing rapidly. In consequence, new verification techniques that overcome the limitations of traditional methods and are suitable for har...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
ISSS
2000
IEEE
109views Hardware» more  ISSS 2000»
15 years 11 months ago
Verification of Embedded Systems using a Petri Net based Representation
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...