5085 search results - page 36 / 1017 » Multidimensional Design by Examples |
HCW
1998
IEEE
14 years 28 days ago
1998
IEEE
The NetSolve project, underway at the University of Tennessee and at the Oak Ridge National Laboratory, allows users to access computational resources distributed across the netwo...
TABLEAUX
1998
Springer
14 years 26 days ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
LREC
2010
13 years 10 months ago
2010
Current state-of-the-art systems for automatic phonetic transcription (APT) are mostly phone recognizers based on Hidden Markov models (HMMs). We present a different approach for ...
SIGMOD
2008
ACM
13 years 8 months ago
2008
ACM
The UQBE is a mashup tool for non-programmers that supports query-by-example (QBE) over a schema made up by the user without knowing the schema of the original sources. Based on a...
CONSTRAINTS
2004
13 years 8 months ago
2004
We consider constructive preference elicitation for decision aid systems in applications such as configuration or electronic catalogs. We are particularly interested in supporting ...