Sciweavers

1406 search results - page 211 / 282
» Controller design for human-robot interaction
Sort
View
ENTCS
2006
128views more  ENTCS 2006»
15 years 6 months ago
Web Verification: Perspective and Challenges
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
Shriram Krishnamurthi
BMCBI
2007
107views more  BMCBI 2007»
15 years 6 months ago
A computational approach for detecting peptidases and their specific inhibitors at the genome level
Background: Peptidases are proteolytic enzymes responsible for fundamental cellular activities in all organisms. Apparently about 2–5% of the genes encode for peptidases, irresp...
Lisa Bartoli, Remo Calabrese, Piero Fariselli, Dam...
AI
2008
Springer
15 years 6 months ago
The well-designed young mathematician
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
Aaron Sloman
VEE
2010
ACM
247views Virtualization» more  VEE 2010»
16 years 1 months ago
Capability wrangling made easy: debugging on a microkernel with valgrind
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
Aaron Pohle, Björn Döbel, Michael Roitzs...
MEDES
2009
ACM
16 years 1 months ago
Geographic data integration to support web GIS development
Although research in data integration has become one of the main issues in [6], geographic data integration is still a laborious and complicated problem, even for specialists. Geo...
André Rocha Coimbra