Sciweavers

5200 search results - page 785 / 1040
» Symbolic models for control systems
Sort
View
RECONFIG
2008
IEEE
225views VLSI» more  RECONFIG 2008»
16 years 1 months ago
A Hardware Filesystem Implementation for High-Speed Secondary Storage
Platform FPGAs are capable of hosting entire Linuxbased systems including standard peripherals, integrated network interface cards and even disk controllers on a single chip. File...
Ashwin A. Mendon, Ron Sass
CCS
2005
ACM
16 years 24 days ago
Preventing attribute information leakage in automated trust negotiation
Automated trust negotiation is an approach which establishes trust between strangers through the bilateral, iterative disclosure of digital credentials. Sensitive credentials are ...
Keith Irwin, Ting Yu
VW
1998
Springer
176views Virtual Reality» more  VW 1998»
15 years 11 months ago
A Mixed 2D/3D Interface for Music Spatialization
We propose a system for controlling in real time the localisation of sound sources. The system, called MidiSpace, is a real time spatializer of Midi music. We raise the issue of wh...
François Pachet, Olivier Delerue
IJMMS
2007
195views more  IJMMS 2007»
15 years 7 months ago
Berlin Brain-Computer Interface - The HCI communication channel for discovery
The investigation of innovative Human–Computer Interfaces (HCI) provides a challenge for future interaction research and development. Brain–Computer Interfaces (BCIs) exploit ...
Roman Krepki, Gabriel Curio, Benjamin Blankertz, K...
SCHEDULING
2008
89views more  SCHEDULING 2008»
15 years 6 months ago
On-line decision support for take-off runway scheduling with uncertain taxi times at London Heathrow airport
: This paper addresses the challenge of building an automated decision support methodology to tackle the complex problem faced every day by runway controllers at London Heathrow Ai...
Jason A. D. Atkin, Edmund K. Burke, John S. Greenw...