1690 search results - page 191 / 338 » Algorithmic Properties of Millstream Systems |
115
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
The Internet and the World Wide Web have enabled a publishing explosion of useful online information, which has produced the unfortunate side effect of information overload: it is...
138
Voted
ECCV
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Bundle adjustment for multi-view reconstruction is traditionally done using the Levenberg-Marquardt algorithm with a direct linear solver, which is computationally very e...
122
click to vote
PDPTA
2003
15 years 6 months ago
2003
—This paper presents a massively shared virtual reality system based on a network of peers. It does not rely on any server nor on IP multicast, and intends to be scalable to an u...
149
Voted
CMSB
2008
Springer
15 years 6 months ago
2008
Springer
Model checking has historically been an important tool to verify models of a wide variety of systems. Typically a model has to exhibit certain properties to be classed `acceptable&...
139
click to vote
TACAS
1999
Springer
15 years 9 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...