Sciweavers

1519 search results - page 164 / 304
» The Domain Dependence of Parsing
Sort
View
ICML
1997
IEEE
16 years 7 months ago
An adaptation of Relief for attribute estimation in regression
Heuristic measures for estimating the quality of attributes mostly assume the independence of attributes so in domains with strong dependencies between attributes their performanc...
Marko Robnik-Sikonja, Igor Kononenko
SIGMOD
2003
ACM
129views Database» more  SIGMOD 2003»
16 years 6 months ago
On Schema Matching with Opaque Column Names and Data Values
Most previous solutions to the schema matching problem rely in some fashion upon identifying "similar" column names in the schemas to be matched, or by recognizing commo...
Jaewoo Kang, Jeffrey F. Naughton
ICFP
2006
ACM
16 years 6 months ago
Modular development of certified program verifiers with a proof assistant
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
Adam J. Chlipala
PRDC
2008
IEEE
16 years 28 days ago
VTV - A Voting Strategy for Real-Time Systems
Real-time applications typically have to satisfy high dependability requirements and require fault tolerance in both value and time domains. A widely used approach to ensure fault...
Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobr...
SCVMA
2004
Springer
15 years 12 months ago
Local Descriptors for Spatio-temporal Recognition
Abstract. This paper presents and investigates a set of local spacetime descriptors for representing and recognizing motion patterns in video. Following the idea of local features ...
Ivan Laptev, Tony Lindeberg