3454 search results - page 238 / 691 » Modern computer algebra |
291
click to vote
Lab
www.cbl.uh.edu The Computational Biomedicine Lab (CBL) was established in 1997 at the University of Houston and is committed to excellence in image analysis, with an emphasis on ap...
145
click to vote
ICIP
2009
IEEE
16 years 7 months ago
2009
IEEE
In this paper, we present a method to speed up video encoding of GPU rendered scenes. Modern video codecs, like H.264/AVC, are based on motion compensation and support partitionin...
181
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper develops a plug-and-play reusable LogGP model that can be used to predict the runtime and scaling behavior of different MPI-based pipelined wavefront applications runni...
201
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
205
click to vote
AC
2008
Springer
15 years 6 months ago
2008
Springer
Radio Frequency Identification or simply rfid has come to be an integral part of modern computing. Rfid is notable in that it is the first practical technology to tightly couple p...