Sciweavers

2750 search results - page 286 / 550
» Learning Efficient Parsing
Sort
View
DAC
2006
ACM
16 years 4 months ago
Predicate learning and selective theory deduction for a difference logic solver
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
Chao Wang, Aarti Gupta, Malay K. Ganai
120
Voted
HICSS
2010
IEEE
208views Biometrics» more  HICSS 2010»
15 years 10 months ago
Using Personality Factors to Predict Interface Learning Performance
This current study explored the impact of individual differences in personality factors on interface interaction and learning performance in both an interactive visualization and ...
Tera Marie Green, Dong Hyun Jeong, Brian Fisher
121
Voted
DATE
2009
IEEE
107views Hardware» more  DATE 2009»
15 years 10 months ago
Learning early-stage platform dimensioning from late-stage timing verification
— Today's innovations in the automotive sector are, to a great extent, based on electronics. The increasing integration complexity and stringent cost reduction goals turn E/...
Kai Richter, Marek Jersak, Rolf Ernst
WEBDB
2009
Springer
115views Database» more  WEBDB 2009»
15 years 10 months ago
A Machine Learning Approach to Foreign Key Discovery
We study the problem of automatically discovering semantic associations between schema elements, namely foreign keys. This problem is important in all applications where data sets...
Alexandra Rostin, Oliver Albrecht, Jana Bauckmann,...
ICMCS
2007
IEEE
145views Multimedia» more  ICMCS 2007»
15 years 10 months ago
MUSEMBLE: A Music Retrieval System Based on Learning Environment
Query reformulation has been suggested as an effective way to improve retrieval efficiency in text information retrieval and one of the well-known techniques for query reformulati...
Seungmin Rho, Byeong-jun Han, Eenjun Hwang, Minkoo...