5325 search results - page 346 / 1065 » Effective Computation for Nonlinear Systems |
161
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
190
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
159
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we propose a novel interactive integral imaging system using vision-based 3D fingertip interface. This system consists of the real 3D image generation system based ...
161
click to vote
ACISICIS
2007
IEEE
16 years 1 months ago
2007
IEEE
This study aims to construct a 2D barcode and handheld augmented reality supported learning system called HELLO (Handheld English Language Learning Organization), to improve stude...
161
click to vote
ICNP
2005
IEEE
16 years 11 days ago
2005
IEEE
Peer-to-peer (P2P) anonymous communication systems are vulnerable to free-riders, peers that use the system while providing little or no service to others and whose presence limit...