Sciweavers

1744 search results - page 126 / 349
» A Similarity-Driven Transfer System
Sort
View
CAV
2008
Springer
89views Hardware» more  CAV 2008»
15 years 8 months ago
Inferring Congruence Equations Using SAT
This paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, wh...
Andy King, Harald Søndergaard
ANLP
2000
95views more  ANLP 2000»
15 years 8 months ago
Translation using Information on Dialogue Participants
This paper proposes a way to improve the translation quality by using information on dialogue participants that is easily obtained from outside the translation component. We incor...
Setsuo Yamada, Eiichiro Sumita, Hideki Kashioka
SCL
2008
82views more  SCL 2008»
15 years 6 months ago
An efficient algorithm for positive realizations
We observe that successive applications of known results from the theory of positive systems lead to an efficient general algorithm for positive realizations of transfer functions...
Wojciech Czaja, Philippe Jaming, Máté...
CGF
2005
151views more  CGF 2005»
15 years 6 months ago
Virtual Endoscopy in Research and Clinical Practice
Virtual endoscopy is among the most active topics in virtual medicine and medical imaging. It focuses on the virtual representation of minimally invasive procedures for training, ...
Dirk Bartz
MOBISYS
2009
ACM
16 years 7 months ago
Predictive methods for improved vehicular WiFi access
With the proliferation of WiFi technology, many WiFi networks are accessible from vehicles on the road making vehicular WiFi access realistic. However, several challenges exist: l...
Pralhad Deshpande, Anand Kashyap, Chul Sung, Samir...