1655 search results - page 257 / 331 » Visual tool for generative programming |
JSC
2010
13 years 6 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
Autonomous landing on unknown extraterrestrial bodies requires fast, noise-resistant motion processing to elicit appropriate steering commands. Flying insects excellently master vi...
W4A
2010
ACM
13 years 9 months ago
2010
ACM
Information graphics (such as bar charts and line graphs) play a vital role in many multimodal documents. Unfortunately, visually impaired individuals who use screen reader progra...
BMCBI
2011
13 years 2 months ago
2011
Background: The popularity of massively parallel exome and transcriptome sequencing projects demands new data mining tools with a comprehensive set of features to support a wide r...
DIMEA
2008
14 years 29 days ago
2008
Motion2Sound is a program that translates motion properties into sound ones. This is done by using a motion detection system(Open Cv) and one can have as an input a live web-cam o...