Sciweavers

11168 search results - page 1995 / 2234
» Abstract State Processes
Sort
View
CP
2000
Springer
15 years 5 months ago
Boosting Search with Variable Elimination
Abstract. Variable elimination is the basic step of Adaptive Consistency 4 . It transforms the problem into an equivalent one, having one less variable. Unfortunately, there are ma...
Javier Larrosa
97
Voted
CPE
2000
Springer
292views Hardware» more  CPE 2000»
15 years 5 months ago
SREPT: Software Reliability Estimation and Prediction Tool
Abstract. Several tools have been developed for the estimation of software reliability. However, they are highly specialized in the approaches they implement and the particular pha...
Srinivasan Ramani, Kishor S. Trivedi
105
Voted
ECAI
2000
Springer
15 years 5 months ago
Beat Tracking with Musical Knowledge
Abstract. When a person taps a foot in time with a piece of music, they are performing beat tracking. Beat tracking is fundamental to the understanding of musical structure, and th...
Simon Dixon, Emilios Cambouropoulos
117
Voted
GMP
2010
IEEE
175views Solid Modeling» more  GMP 2010»
15 years 5 months ago
Optimal Analysis-Aware Parameterization of Computational Domain in Isogeometric Analysis
Abstract. In isogeometric analysis (IGA for short) framework, computational domain is exactly described using the same representation as that employed in the CAD process. For a CAD...
Gang Xu, Bernard Mourrain, Régis Duvigneau,...
94
Voted
HAPTICS
2010
IEEE
15 years 5 months ago
The Core Skills Trainer: A Set of Haptic Games for Practicing Key Clinical Skills
Abstract. A new approach to teaching the skills used by health professionals during hands-on (palpation-based) examinations and procedures is reported, where students practice indi...
Sarah Baillie, Neil Forrest, Tierney Kinnison
« Prev « First page 1995 / 2234 Last » Next »