1860 search results - page 175 / 372 » tools 2009 |
157
click to vote
IFM
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
186
click to vote
ISSAC
2009
Springer
16 years 20 days ago
2009
Springer
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approache...
162
click to vote
IVIC
2009
Springer
16 years 20 days ago
2009
Springer
This paper describes our work in examining the question of whether providing a visual informatics application in an educational scenario, in particular, providing video content ana...
168
click to vote
IWANN
2009
Springer
16 years 20 days ago
2009
Springer
A Brain-Computer Interface (BCI) application focused on the control of a wheelchair must consider the danger which a wrong command would involve in a real situation. Virtual realit...
139
click to vote
MHCI
2009
Springer
16 years 20 days ago
2009
Springer
Mobile phones with integrated video cameras have become ubiquitous tools that people use both to document everyday surroundings and to express themselves artistically. In this pap...