847 search results - page 111 / 170 » Real-time operating systems for embedded computing |
RTCSA
2005
IEEE
15 years 3 months ago
2005
IEEE
Location based services are becoming essential feature of context-awareness in ubiquitous computing. Reflective distribute component programming model is proposed to systematicall...
100
click to vote
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
ISMB
1994
14 years 11 months ago
1994
Wepresent algorithms for kinematic manipulation of molecular chains subject to fixed bond lengths and bond angles. They are useful for calculating conformations of a molecule subj...
JMM2
2007
14 years 9 months ago
2007
—Optical flow algorithms are difficult to apply to robotic vision applications in practice because of their extremely high computational and frame rate requirements. In most case...
RTCSA
2007
IEEE
15 years 4 months ago
2007
IEEE
Activity recognition is a hot topic in context-aware computing. In activity recognition, machine learning techniques have been widely applied to learn the activity models from lab...