1350 search results - page 92 / 270 » Reasoning about Staged Computation |
161
click to vote
IJET
2008
15 years 5 months ago
2008
This article presents considerations about viability on reutilize existing web based e-Learning systems on Interactive Digital TV environment according to Digital TV standard adopt...
141
click to vote
IEEEHPCS
2010
15 years 3 months ago
2010
An efficient method for face recognition which is robust under illumination variations is proposed. The proposed method achieves the illumination invariants based on the reflectan...
144
click to vote
SAC
2009
ACM
16 years 6 days ago
2009
ACM
We formalize paper fold (origami) by graph rewriting. Origami construction is abstractly described by a rewriting sys), where O is the set of abstract origami’s and ary relation...
184
click to vote
HCI
2009
15 years 3 months ago
2009
Abstract. The current Web 2.0 stage of the Internet provided the basis for web-based communities and services aimed at collaboration and information sharing. Furthermore, Internet ...
144
click to vote
CSL
2003
Springer
15 years 10 months ago
2003
Springer
Quantum computation deals with projective measurements and unitary transformations in finite dimensional Hilbert spaces. The paper presents a propositional logic designed to descr...