6155 search results - page 374 / 1231 » A language for multiple models of computation |
180
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This paper presents a new method to correct overlapping textures of a single 3D model where each texture was obtained under possibly different lighting conditions and color respon...
176
click to vote
SAC
2005
ACM
16 years 11 days ago
2005
ACM
Because of name variations, an author may have multiple names and multiple authors may share the same name. Such name ambiguity affects the performance of document retrieval, web ...
206
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
165
click to vote
DEXA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define a formal syntax and semantics for the Rule Definition Language (RDL) of DemaqLite, which is a fragment of the declarative XML message processing system Demaq....
188
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...