1024 search results - page 122 / 205 » Value complete, column complete, predicate complete |
TVLSI
2011
14 years 8 months ago
2011
—Communication costs, which have the potential to throttle design performance as scaling continues, are mathematically modeled and compared for various pipeline methodologies. Fi...
148
click to vote
CORR
2011
Springer
14 years 5 months ago
2011
Springer
The probability theory is a well-studied branch of mathematics, in order to carry out formal reasoning about probability. Thus, it is important to have a logic, both for computati...
135
Voted
ICDE
2011
IEEE
14 years 5 months ago
2011
IEEE
— Many real-world applications deal with uncertain or missing data, prompting a surge of activity in the area of probabilistic databases. A shortcoming of prior work is the assum...
108
click to vote
RTA
2010
Springer
15 years 5 months ago
2010
Springer
Data words and data trees appear in verification and XML processing. The term “data” means that positions of the word, or tree, are decorated with elements of an infinite set...
111
Voted
CONCUR
2009
Springer
15 years 8 months ago
2009
Springer
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). ...