Sciweavers

3868 search results - page 225 / 774
» Open Systems in TLA
Sort
View
KDD
2009
ACM
168views Data Mining» more  KDD 2009»
16 years 2 months ago
CAPTCHA-based image labeling on the Soylent Grid
We introduce an open labeling platform for Computer Vision researchers based on Captchas, creating as a byproduct labeled image data sets while supporting web security. For the tw...
Peter Faymonville, Kai Wang, John Miller, Serge J....
IROS
2007
IEEE
118views Robotics» more  IROS 2007»
16 years 1 months ago
Lower body realization of the baby humanoid - 'iCub'
—Nowadays, the understanding of the human cognition and it application to robotic systems forms a great challenge of research. The iCub is a robotic platform that was developed w...
Nikolaos G. Tsagarakis, Francesco Becchi, Ludovic ...
CSFW
2006
IEEE
16 years 1 months ago
Securing Interaction between Threads and the Scheduler
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
Alejandro Russo, Andrei Sabelfeld
RTAS
2006
IEEE
16 years 1 months ago
A Real-time Java Virtual Machine for Avionics - An Experience Report
We report on our experience with the implementation of the Real-time Specification for Java (RTSJ) in the DARPA Program Composition for Embedded System (PCES) program. Within the...
Jason Baker, Antonio Cunei, Chapman Flack, Filip P...
ATAL
2004
Springer
16 years 18 days ago
Contract Model for Agent Mediated Electronic Commerce
In Agent Mediated Electronic Commerce, autonomy of agents is an important property. On one hand, it has to be favored to make the agents able to determine and adapt their own goal...
Benjamin Gâteau, Djamel Khadraoui, Olivier B...