1446 search results - page 233 / 290 » Testing for Concise Representations |
106
click to vote
ENTCS
2008
15 years 2 months ago
2008
Most well-known algorithms for equational solving are based on quantifier elimination. This technique iteratively eliminates the innermost block of existential/universal quantifie...
102
click to vote
FS
2006
15 years 2 months ago
2006
Fads models were introduced by Shiller (1984) and Summers (1986) as plausible alternatives to the efficient markets/constant expected returns assumptions. Under these models, loga...
147
click to vote
CG
2007
Springer
15 years 2 months ago
2007
Springer
Tasks in visual analytics differ from typical information retrieval tasks in fundamental ways. A critical part of a visual analytics is to ask the right questions when dealing wit...
114
click to vote
CGF
2007
15 years 2 months ago
2007
We present a novel and effective method for modeling a developable surface to simulate paper bending in interactive and animation applications. The method exploits the representat...
147
Voted
CN
2007
15 years 2 months ago
2007
Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using th...