Sciweavers

10406 search results - page 2049 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
15 years 8 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
IROS
2006
IEEE
107views Robotics» more  IROS 2006»
15 years 8 months ago
Learning Sensory-Motor Maps for Redundant Robots
— Humanoid robots are routinely engaged in tasks requiring the coordination between multiple degrees of freedom and sensory inputs, often achieved through the use of sensorymotor...
Manuel Lopes, José Santos-Victor
PPPJ
2006
ACM
15 years 8 months ago
Juxta-Cat: a JXTA-based platform for distributed computing
In this paper we present a JXTA-based platform, called Juxta-CAT, which is an effort to use the JXTA architecture to build a job execution-sharing distributed environment. The Ju...
Joan Esteve Riasol, Fatos Xhafa
ICSE
2010
IEEE-ACM
15 years 4 months ago
Supporting developers with natural language queries
The feature list of modern IDEs is steadily growing and mastering these tools becomes more and more demanding, especially for novice programmers. Despite their remarkable capabili...
Michael Würsch, Giacomo Ghezzi, Gerald Reif, ...
CVPR
2004
IEEE
16 years 4 months ago
Role of Shape and Kinematics in Human Movement Analysis
Human gait and activity analysis from video is presently attracting a lot of attention in the computer vision community. In this paper, we analyze the role of two of the most impo...
Ashok Veeraraghavan, Amit K. Roy Chowdhury, Rama C...
« Prev « First page 2049 / 2082 Last » Next »