4480 search results - page 836 / 896 » Prototyping Completion with Constraints Using Computational ... |
159
click to vote
HUC
2010
Springer
15 years 6 months ago
2010
Springer
We present a study that evaluates the effectiveness of augmenting on-screen instructions with micro-projection for manual task guidance unlike prior work, which replaced screen in...
168
click to vote
EDBT
2008
ACM
16 years 6 months ago
2008
ACM
Abstract. Monitoring aggregates on IP traffic data streams is a compelling application for data stream management systems. Often, such streaming aggregation queries involve joining...
125
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
This paper presents the core type system and type inference algorithm of OCamlDuce, a merger between OCaml and XDuce. The challenge was to combine two type checkers of very differ...
138
click to vote
ICCAD
2003
IEEE
16 years 2 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
151
click to vote
HAPTICS
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract. This paper describes a preliminary work devoted to the design of a control architecture for a defective haptic interface, i.e. an underactuated haptic interface not able ...