1981 search results - page 216 / 397 » Model-Checking Hierarchical Structures |
ISVC
2007
Springer
14 years 4 months ago
2007
Springer
CAD models of industrial installations usually have hundreds of millions of triangles. For this reason they cannot be interactively rendered in the current generation of computer h...
IPCCC
2006
IEEE
14 years 4 months ago
2006
IEEE
On-demand access to remote multimedia content via the Internet is becoming increasingly popular. Applications like Video on Demand and News on Demand are increasingly based on str...
HT
1998
ACM
14 years 2 months ago
1998
ACM
The World Wide Web grows through a decentralized, almost anarchic process, and this has resulted in a large hyperlinked corpus without the kind of logical organization that can be...
CGI
2004
IEEE
14 years 1 months ago
2004
IEEE
In recent years several methods for modeling botanical trees have been proposed. The geometry and topology of tree skeletons can be well described by L-systems; however, there are...
ICML
2010
IEEE
13 years 11 months ago
2010
IEEE
We consider the problem of multi-task reinforcement learning where the learner is provided with a set of tasks, for which only a small number of samples can be generated for any g...