Sciweavers

9888 search results - page 231 / 1978
» compute 2009
Sort
View
COCOA
2009
Springer
15 years 11 months ago
Computing the Transitive Closure of a Union of Affine Integer Tuple Relations
Abstract. This paper proposes a method to compute the transitive closure of a union of affine relations on integer tuples. Within Presburger arithmetics, complete algorithms to com...
Anna Beletska, Denis Barthou, Wlodzimierz Bielecki...
EICS
2009
ACM
15 years 12 months ago
MoLIC designer: towards computational support to hci design with MoLIC
MoLIC, a modeling language for designing interaction as a metaphor of conversation, was proposed to allow designers to build a blueprint of all interaction that may take place whe...
Ugo Braga Sangiorgi, Simone Diniz Junqueira Barbos...
RECOMB
2009
Springer
16 years 7 months ago
Topology-Free Querying of Protein Interaction Networks
Sharon Bruckner, Falk Hüffner, Richard M. Kar...