12487 search results - page 393 / 2498 » Graspable Work Modeling |
166
click to vote
ENGL
2008
15 years 6 months ago
2008
The improvement on the QSAR prediction of the trans-stilbenes affinity for the -amyloid peptide (employed for detecting the Alzheimer disease) achieved by means of using approximat...
177
Voted
ENTCS
2008
15 years 6 months ago
2008
We provide a categorical presentation of the Fusion calculus. Working in a suitable category of presheaves, we describe the syntax as initial algebra of a signature endofunctor, a...
162
Voted
CORR
2006
Springer
15 years 6 months ago
2006
Springer
We are interested in verifying dynamic properties of finite state reactive systems under fairness assumptions by model checking. The systems we want to verify are specified throug...
164
Voted
ECEASST
2006
15 years 6 months ago
2006
Abstract. Recently, many researchers are working on semantics preserving model transformation. In the field of graph transformation one can think of translating graph grammars writ...
152
click to vote
CG
2007
Springer
15 years 6 months ago
2007
Springer
We present an efficient compression scheme for animated sequences of triangular meshes of the same connectivity. The proposed algorithm exploits the temporal coherence of the geo...