Sciweavers

2287 search results - page 190 / 458
» Making it Real
Sort
View
ISMB
1997
15 years 3 months ago
ANOLEA: A WWW Server to Assess Protein Structures
ANOLEA (Atomic Non-Local Environment Assessment) is a www server that performs energy calculations at the atomic level in protein structures. The calculations involve the non-loca...
Francisco Melo, Damien Devos, Eric Depiereux, Erne...
109
Voted
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 2 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
113
Voted
COMPSAC
2002
IEEE
15 years 7 months ago
A Distributed Architecture for Cooperative and Adaptative Multimedia Applications
Previously, we developed a method and a distributed platform for the re-engineering of applications by adding cooperation. The goal was to supply a way of communication based on t...
Philippe Roose, Marc Dalmau, Franck Luthon
123
Voted
AAAI
2008
15 years 4 months ago
Learning and Inference with Constraints
Probabilistic modeling has been a dominant approach in Machine Learning research. As the field evolves, the problems of interest become increasingly challenging and complex. Makin...
Ming-Wei Chang, Lev-Arie Ratinov, Nicholas Rizzolo...
124
Voted
ACMIDC
2010
15 years 4 months ago
How do you play with a robotic toy animal?: a long-term study of Pleo
Pleo is one of the more advanced interactive toys currently available for the home market, taking the form of a robotic dinosaur. We present an exploratory study of how it was int...
Ylva Fernaeus, Maria Håkansson, Mattias Jaco...