Sciweavers

10304 search results - page 1743 / 2061
» Computer science with the sciences: an emphasis in computati...
Sort
View
ICMT
2009
Springer
16 years 1 months ago
Automatic Model Generation Strategies for Model Transformation Testing
Testing model transformations requires input models which are graphs of inter-connected objects that must conform to a meta-model and meta-constraints from heterogeneous sources su...
Sagar Sen, Benoit Baudry, Jean-Marie Mottu
184
Voted
IWANN
2009
Springer
16 years 1 months ago
Automatic Generation of Biped Walk Behavior Using Genetic Algorithms
Controlling a biped robot with several degrees of freedom is a challenging task that takes the attention of several researchers in the fields of biology, physics, electronics, com...
Hugo Picado, Marcos Gestal, Nuno Lau, Luís ...
TABLEAUX
2009
Springer
16 years 1 months ago
A Tableau-Based System for Spatial Reasoning about Directional Relations
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
Davide Bresolin, Angelo Montanari, Pietro Sala, Gu...
CANDC
2009
ACM
16 years 1 months ago
Discovery is never by chance: designing for (un)serendipity
Serendipity has a long tradition in the history of science as having played a key role in many significant discoveries. Computer scientists, valuing the role of serendipity in dis...
Paul André, m. c. schraefel, Jaime Teevan, ...
DIM
2009
ACM
16 years 1 months ago
Mnikr: reputation construction through human trading of distributed social identities
Reputation forms an important part of how we come to trust people in face-to-face interactions, and thus situations involving trust online have come to realize that reputation is ...
Brendan Francis O'Connor, John Linwood Griffin
« Prev « First page 1743 / 2061 Last » Next »