794 search results - page 3 / 159 » Computer algebra in interface design research |
128
Voted
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Kenzo is a symbolic computation system devoted to Algebraic Topology. It has been developed by F. Sergeraert mainly as a research artifact. The challenge is now to increase the nu...
132
Voted
EXPCS
2007
15 years 7 months ago
2007
The evaluation of new network server architectures is usually performed experimentally using either a simulator or a hardware prototype. Accurate simulation of the hardwaresoftwar...
144
Voted
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
146
Voted
BALT
2008
15 years 5 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
133
Voted
ICSEA
2007
IEEE
15 years 10 months ago
2007
IEEE
Research in context-aware user interfaces aims to improve human-computer interaction by providing more effective, smarter and user-friendlier solutions for computer applications. ...