Sciweavers

2324 search results - page 270 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
163
Voted
JMLR
2008
188views more  JMLR 2008»
15 years 1 months ago
Maximal Causes for Non-linear Component Extraction
We study a generative model in which hidden causes combine competitively to produce observations. Multiple active causes combine to determine the value of an observed variable thr...
Jörg Lücke, Maneesh Sahani
ICCD
2001
IEEE
119views Hardware» more  ICCD 2001»
15 years 11 months ago
A Functional Validation Technique: Biased-Random Simulation Guided by Observability-Based Coverage
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
Serdar Tasiran, Farzan Fallah, David G. Chinnery, ...
118
Voted
SIGIR
2004
ACM
15 years 8 months ago
Display time as implicit feedback: understanding task effects
Recent research has had some success using the length of time a user displays a document in their web browser as implicit feedback for document preference. However, most studies h...
Diane Kelly, Nicholas J. Belkin
TOPNOC
2010
14 years 9 months ago
Schedule-Aware Workflow Management Systems
Abstract. Contemporary workflow management systems offer workitems to users through specific work-lists. Users select the work-items they will perform without having a specific sch...
Ronny Mans, Nick C. Russell, Wil M. P. van der Aal...
SMC
2010
IEEE
139views Control Systems» more  SMC 2010»
15 years 10 days ago
Pin-pointing concept descriptions
In this study, the task of obtaining accurate and comprehensible concept descriptions of a specific set of production instances has been investigated. The suggested method, inspire...
Cecilia Sönströd, Ulf Johansson, Henrik ...