3797 search results - page 480 / 760 » Designs on the web |
194
click to vote
LEC
2002
IEEE
15 years 11 months ago
2002
IEEE
We report in this short document the results of a Regional European project carried out on Spanish, Catalan, Occitan and French whose aim is to design a lexical knowledge base whe...
146
click to vote
ICCHP
2010
Springer
15 years 11 months ago
2010
Springer
We propose MarkerMouse, an inexpensive method for controlling the mouse cursor using a web cam and a marker placed on the user’s forehead. Two modes of cursor control were compar...
168
click to vote
CASES
2000
ACM
15 years 11 months ago
2000
ACM
We describe an automated environment to assist a system-on-achip designer to tune a microprocessor core to a particular application program that will run on the microprocessor, an...
140
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
202
click to vote
ECTEL
2006
Springer
15 years 10 months ago
2006
Springer
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...