5860 search results - page 794 / 1172 » Multimedia Design for the Web |
166
Voted
HT
2003
ACM
16 years 2 days ago
2003
ACM
This paper argues that the existence of a developer support framework is a critical issue to the usage of Open Hypermedia Systems (OHSs). For this reason, the OHS Community would ...
197
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...
148
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...
170
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...
142
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 ...