Sciweavers

9186 search results - page 334 / 1838
» A Module System for Scheme
Sort
View
SIGMOD
2006
ACM
113views Database» more  SIGMOD 2006»
16 years 6 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 28 days 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 27 days 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 23 days 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