9110 search results - page 183 / 1822 » Formally-Based Design Evaluation |
164
click to vote
ICML
2006
IEEE
16 years 6 months ago
2006
IEEE
Policy evaluation is a critical step in the approximate solution of large Markov decision processes (MDPs), typically requiring O(|S|3 ) to directly solve the Bellman system of |S...
131
click to vote
WWW
2008
ACM
16 years 5 months ago
2008
ACM
This paper presents the motivation, resources and results for the first Web People Search task, which was organized as part of the SemEval-2007 evaluation exercise. Also, we will ...
127
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
In this paper, we describe an evaluation of the Palette, a presentation tool that was reported at CHI '99. The Palette allows presenters to quickly access digital presentatio...
139
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
— This paper presents performance and area evaluation of a homogeneous multiprocessor communication system based on network-on-chip (NoC) in FPGA platforms. Two homogenous chip m...
136
Voted
QSIC
2005
IEEE
15 years 10 months ago
2005
IEEE
Software inspections are established means of ensuring quality in software engineering. The traditional paper-based inspections are considered too laborious for widespread usage, ...