6168 search results - page 348 / 1234 » Research methods for HCI |
194
click to vote
ZUM
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
180
click to vote
ECRTS
2004
IEEE
15 years 10 months ago
2004
IEEE
Most previous research done in probabilistic schedulability analysis assumes a known distribution of execution times for each task of a real-time application. This is however not ...
124
click to vote
FCCM
2004
IEEE
15 years 10 months ago
2004
IEEE
In this paper we present a method for FPGA datapath precision optimization subject to user-defined area and error constraints. This work builds upon our previous research [1] which...
176
click to vote
ANTSW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The visual localization problem in robotics poses a dynamically changing environment due to the movement of the robot compared to a static image set serving as environmen...
128
click to vote
FLAIRS
2004
15 years 8 months ago
2004
Mixed-initiative case replay introduces an active human into the case-based planning process. The goals of this novel technique are to utilize the strengths of machine-based case ...