Sciweavers

607 search results - page 72 / 122
» Demonstrating the viability of automatically generated user ...
Sort
View
SIGSOFT
2000
ACM
14 years 5 days ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
ERSA
2008
118views Hardware» more  ERSA 2008»
13 years 9 months ago
A Framework to Improve IP Portability on Reconfigurable Computers
- This paper presents a framework that improves the portability and ease-of-use issues of current Reconfigurable Computers (RCs). These two drawbacks should be solved in order for ...
Miaoqing Huang, Ivan Gonzalez, Sergio López...
ICRA
2007
IEEE
146views Robotics» more  ICRA 2007»
14 years 2 months ago
Interactive Motion Control of Deformable Objects Using Localized Optimal Control
—In this paper we present a novel interactive method and interface techniques for controlling the behavior of physically-based simulation of deformable objects. The goal of our r...
Hongjun Jeon, Min-Hyung Choi
ICMI
2003
Springer
184views Biometrics» more  ICMI 2003»
14 years 1 months ago
Real time facial expression recognition in video using support vector machines
Enabling computer systems to recognize facial expressions and infer emotions from them in real time presents a challenging research topic. In this paper, we present a real time ap...
Philipp Michel, Rana El Kaliouby
ERLANG
2004
ACM
13 years 11 months ago
An external short message entity for gambling services
This paper introduces a new platform designed for mobile gambling services. The special characteristics of these services lead us to developed a multiservice platform that easily ...
Enrique Marcote, Daniel I. Iglesia, Carlos J. Escu...