536 search results - page 87 / 108 » Evaluating Metrical Phonology - a Computational- Empirical A... |
100
click to vote
ACIVS
2008
Springer
15 years 6 months ago
2008
Springer
A currently popular trend in object detection and pattern recognition is usage of statistical classifiers, namely AdaBoost and its modifications. The speed performance of these cla...
HPDC
2007
IEEE
15 years 6 months ago
2007
IEEE
With the emergence of Service-based architectures, management of an application which comprises of a large number of distributed services becomes difficult as resources appear, mo...
92
Voted
CHI
1995
ACM
15 years 3 months ago
1995
ACM
Pre-screen projection is a new interaction technique that allows a user to pan and zoom integrally through a scene simply by moving his or her head relative to the screen. The und...
106
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
102
click to vote
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...