Sciweavers

9186 search results - page 334 / 1838
» A Module System for Scheme
Sort
View
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
16 years 7 months ago
A system for specification and verification of interactive, data-driven web applications
In recent research, we have proposed a framework for highlevel specification of interactive, data-driven Web applications and established theoretical foundations for their verific...
Alin Deutsch, Liying Sui, Victor Vianu, Dayou Zhou
VTC
2007
IEEE
140views Communications» more  VTC 2007»
16 years 1 months ago
Iterative Phase Noise Mitigation in MIMO-OFDM Systems with Pilot Aided Channel Estimation
— The use of multiple transmit and receive antennas in combination with multicarrier modulation, e.g. MIMO-OFDM, is a very promising technique for future wireless communication s...
Steffen Bittner, Ernesto Zimmermann, Gerhard Fettw...
CLEF
2007
Springer
16 years 1 months ago
Web-Based Anaphora Resolution for the QUASAR Question Answering System
This paper describes the work done by the RFIA group at the Departamento de Sistemas Inform´aticos y Computaci´on of the Universidad Polit´ecnica of Valencia for the 2007 editio...
Davide Buscaldi, Yassine Benajiba, Paolo Rosso, Em...
EVOW
2007
Springer
16 years 1 months ago
An Online EHW Pattern Recognition System Applied to Face Image Recognition
An evolvable hardware (EHW) architecture for high-speed pattern recognition has been proposed. For a complex face image recognition task, the system demonstrates (in simulation) an...
Kyrre Glette, Jim Torresen, Moritoshi Yasunaga
IROS
2006
IEEE
139views Robotics» more  IROS 2006»
16 years 1 months ago
Control Software Design of A Compact Laparoscopic Surgical Robot System
– We have developed a prototype teleoperated robotic surgical system which is modular, compact and easy to use. In this paper, the control software design of the prototype is int...
Ji Ma, Peter J. Berkelman