Sciweavers

8828 search results - page 1540 / 1766
» Formal methods in practice
Sort
View
137
Voted
CORR
2010
Springer
178views Education» more  CORR 2010»
15 years 4 months ago
Automatic Recommendation for Online Users Using Web Usage Mining
A real world challenging task of the web master of an organization is to match the needs of user and keep their attention in their web site. So, only option is to capture the intu...
Dipa Dixit, Jayant Gadge
CORR
2008
Springer
66views Education» more  CORR 2008»
15 years 4 months ago
A Novel Approach to Formulae Production and Overconfidence Measurement to Reduce Risk in Spreadsheet Modelling
Research on formulae production in spreadsheets has established the practice as high risk yet unrecognised as such by industry. There are numerous software applications that are d...
Simon R. Thorne, David Ball, Zoe Lawson
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 4 months ago
Real-Time Multi-path Tracking of Probabilistic Available Bandwidth
Applications such as traffic engineering and network provisioning can greatly benefit from knowing, in real time, what is the largest input rate at which it is possible to transmit...
Frederic Thouin, Mark Coates, Michael Rabbat
CORR
2010
Springer
241views Education» more  CORR 2010»
15 years 4 months ago
Haar Wavelet Based Approach for Image Compression and Quality Assessment of Compressed Image
With the increasing growth of technology and the entrance into the digital age, we have to handle a vast amount of information every time which often presents difficulties. So, the...
Kamrul Hasan Talukder, Koichi Harada
ALIFE
2006
15 years 4 months ago
A Comprehensive Overview of the Applications of Artificial Life
We review the applications of artificial life (ALife), the creation of synthetic life on computers to study, simulate, and understand living systems. The definition and features of...
Kyung-Joong Kim, Sung-Bae Cho
« Prev « First page 1540 / 1766 Last » Next »