1981 search results - page 216 / 397 » Model-Checking Hierarchical Structures |
118
click to vote
ISVC
2007
Springer
15 years 8 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...
141
Voted
IPCCC
2006
IEEE
15 years 8 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...
125
Voted
HT
1998
ACM
15 years 6 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...
122
Voted
CGI
2004
IEEE
15 years 6 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...
110
Voted
ICML
2010
IEEE
15 years 3 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...