Sciweavers

3718 search results - page 663 / 744
» Programming by Integration in Robotics
Sort
View
AMAI
2007
Springer
14 years 10 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
BMCBI
2008
85views more  BMCBI 2008»
14 years 10 months ago
Predicted mouse peroxisome-targeted proteins and their actual subcellular locations
Background: The import of most intraperoxisomal proteins is mediated by peroxisome targeting signals at their C-termini (PTS1) or N-terminal regions (PTS2). Both signals have been...
Yumi Mizuno, Igor Kurochkin, Marlis Herberth, Yasu...
CGF
2010
117views more  CGF 2010»
14 years 10 months ago
SafeGI: Type Checking to Improve Correctness in Rendering System Implementation
Historically, rendering system development has been mainly focused on improving the numerical accuracy of the rendering algorithms and their runtime efficiency. In this paper, we ...
Jiawei Ou, Fabio Pellacini
COMPUTER
2008
66views more  COMPUTER 2008»
14 years 9 months ago
Into the Wild: Low-Cost Ubicomp Prototype Testing
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
Yang Li, James A. Landay
CONSTRAINTS
2008
95views more  CONSTRAINTS 2008»
14 years 9 months ago
Efficient Sequence Alignment with Side-Constraints by Cluster Tree Elimination
Aligning DNA and protein sequences is a core technique in molecular biology. Often, it is desirable to include partial prior knowledge and conditions in an alignment. Going beyond...
Sebastian Will, Anke Busch, Rolf Backofen