1054 search results - page 54 / 211 » From a Verified Kernel towards Verified Systems |
152
click to vote
ICRA
2009
IEEE
15 years 3 months ago
2009
IEEE
The present paper proposes the motion planning based on "the dynamics shaping" for a robotic arm to hit the target robustly toward the desired direction, of which the con...
174
click to vote
FGR
2008
IEEE
16 years 18 days ago
2008
IEEE
In this article we explore the use of methodologies for 3D reconstruction from multiple images to recognize faces. We try to devise a strategy to tackle the problem of recognizing...
178
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
A software system interacts with third-party libraries through various APIs. Using these library APIs often needs to follow certain usage patterns. Furthermore, ordering rules (sp...
143
click to vote
ACSD
2009
IEEE
16 years 28 days ago
2009
IEEE
We present a formal semantics for a subset of Verilog, commonly used to describe cell libraries, in terms of transition systems. Such transition systems can serve as input to symb...
157
click to vote
TABLETOP
2007
IEEE
16 years 12 days ago
2007
IEEE
In this paper we debut Photohelix, a novel interactive system for browsing, sorting and sharing digital images. We present our design rationale for such a system and introduce Pho...