1729 search results - page 302 / 346 » Generic Haskell: Applications |
135
click to vote
FUIN
2010
15 years 17 days ago
2010
Abstract. Writing dependently typed functional programs that capture non-trivial program properties, such as those involving membership, ordering and non-linear arithmetic, is diff...
176
click to vote
GRID
2010
Springer
15 years 17 days ago
2010
Springer
Abstract The EGEE grid offers the necessary infrastructure and resources for reducing the running time of particle tracking Monte-Carlo applications like GATE. However, efforts are...
132
click to vote
CVPR
2011
IEEE
14 years 11 months ago
2011
IEEE
Cosegmentation is typically defined as the task of jointly segmenting “something similar” in a given set of images. Existing methods are too generic and so far have not demon...
122
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The World Summit on Sustainable Development (Johannesburg, 2002) encouraged the application of the ecosystem approach by 2010. However, at the same Summit, the signatory States un...
144
click to vote
JSAC
2011
14 years 10 months ago
2011
— The growing interest in vehicular ad hoc networks (VANETs) enables decentralized traveler information systems to become more feasible and effective in Intelligent Transportatio...