4965 search results - page 253 / 993 » A Simple Abstraction for Data Modeling |
188
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We investigate the potential of coherence-based scores to predict query difficulty. The coherence of a document set associated with each query word is used to capture the...
229
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
131
click to vote
NIPS
2003
15 years 8 months ago
2003
The bootstrap has become a popular method for exploring model (structure) uncertainty. Our experiments with artificial and realworld data demonstrate that the graphs learned from...
150
click to vote
EOR
2007
15 years 6 months ago
2007
We propose a structural credit risk model for consumer lending using option theory and the concept of the value of the consumer’s reputation. Using Brazilian empirical data and ...
174
click to vote
EMSOFT
2005
Springer
16 years 1 days ago
2005
Springer
One major challenge in System-on-Chip (SoC) design is the definition and design of interfaces between hardware and software. Traditional ASIC designer and software designer model ...