Sciweavers

24451 search results - page 345 / 4891
» Research methods in information
Sort
View
JUCS
2002
113views more  JUCS 2002»
15 years 7 months ago
The Origins and the Development of the ASM Method for High Level System Design and Analysis
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
Egon Börger
PRL
2007
168views more  PRL 2007»
15 years 7 months ago
Competitive baseline methods set new standards for the NIPS 2003 feature selection benchmark
We used the datasets of the NIPS 2003 challenge on feature selection as part of the practical work of an undergraduate course on feature extraction. The students were provided wit...
Isabelle Guyon, Jiwen Li, Theodor Mader, Patrick A...
ICASSP
2011
IEEE
14 years 11 months ago
Proximal splitting methods for depth estimation
Stereo matching is an active area of research in image processing. In a recent work, a convex programming approach was developed in order to generate a dense disparity field. In ...
Mireille El Gheche, Jean-Christophe Pesquet, Jouma...
ICCAD
2003
IEEE
111views Hardware» more  ICCAD 2003»
16 years 4 months ago
Formal Methods for Dynamic Power Management
Dynamic Power Management or DPM refers to the problem of judicious application of various low power techniques based on runtime conditions in an embedded system to minimize the to...
Rajesh K. Gupta, Sandy Irani, Sandeep K. Shukla
ICSE
2009
IEEE-ACM
16 years 2 months ago
Using Bayesian statistical methods to determine the level of error in large spreadsheets
Spreadsheets are ubiquitous with evidence that Microsoft Excel, the leading application in the area, has an install base of 90% on end-user desktops. Nowhere is the usage of sprea...
Leslie Bradley, Kevin McDaid