Sciweavers

13101 search results - page 2487 / 2621
» The design and implementation of microdrivers
Sort
View
LISP
2006
160views more  LISP 2006»
15 years 6 months ago
Formal compiler construction in a logical framework
The task of designing and implementing a compiler can be a difficult and error-prone process. In this paper, we present a new approach based on the igher-order abstract syntax and ...
Jason Hickey, Aleksey Nogin
NAR
2008
101views more  NAR 2008»
15 years 6 months ago
PVS: a web server for protein sequence variability analysis tuned to facilitate conserved epitope discovery
We have developed PVS (Protein Variability Server), a web-based tool that uses several variability metrics to compute the absolute site variability in multiple protein-sequence al...
Maria Garcia-Boronat, Carmen M. Diez-Rivero, Ellis...
FGCS
2007
92views more  FGCS 2007»
15 years 6 months ago
Optimizing Web Service messaging performance in mobile computing
— The performance and efficiency of Web Services can be greatly increased in conversational and streaming message exchanges by streaming the message exchange paradigm. In this pa...
Sangyoon Oh, Geoffrey Fox
NN
2008
Springer
163views Neural Networks» more  NN 2008»
15 years 6 months ago
Central pattern generators for locomotion control in animals and robots: A review
The problem of controlling locomotion is an area in which neuroscience and robotics can fruitfully interact. In this article, I will review research carried out on locomotor centr...
Auke Jan Ijspeert
FGCS
2007
106views more  FGCS 2007»
15 years 6 months ago
Distributed data mining services leveraging WSRF
The continuous increase of data volumes available from many sources raises new challenges for their effective understanding. Knowledge discovery in large data repositories involv...
Antonio Congiusta, Domenico Talia, Paolo Trunfio
« Prev « First page 2487 / 2621 Last » Next »