Sciweavers

4457 search results - page 333 / 892
» Tests of Machine Intelligence
Sort
View
EACL
2009
ACL Anthology
16 years 7 months ago
Improvements in Analogical Learning: Application to Translating Multi-Terms of the Medical Domain
Handling terminology is an important matter in a translation workflow. However, current Machine Translation (MT) systems do not yet propose anything proactive upon tools which ass...
François Yvon, Philippe Langlais, Pierre Zw...
ICML
2009
IEEE
16 years 1 months ago
Learning linear dynamical systems without sequence information
Virtually all methods of learning dynamic systems from data start from the same basic assumption: that the learning algorithm will be provided with a sequence, or trajectory, of d...
Tzu-Kuo Huang, Jeff Schneider
ISCIS
2009
Springer
16 years 1 months ago
Using a SAT solver to generate checking sequences
—Methods for software testing based on Finite State Machines (FSMs) have been researched since the early 60’s. Many of these methods are about generating a checking sequence fr...
Guy-Vincent Jourdan, Hasan Ural, Hüsnü Y...
ICCCN
2007
IEEE
16 years 1 months ago
A Fast Delivery Protocol for Total Order Broadcasting
Abstract—Sequencer, privilege-based, and communication history algorithms are popular approaches to implement total ordering, where communication history algorithms are most suit...
Li Ou, Xubin He, Christian Engelmann, Stephen L. S...
ICRA
2007
IEEE
156views Robotics» more  ICRA 2007»
16 years 1 months ago
Dynamic Guidance with Pseudoadmittance Virtual Fixtures
— Human Machine Collaborative Systems (HMCS) have been developed to enhance sensation and suppress extraneous motions or forces during surgical tasks requiring precise motion. Ho...
Zachary A. Pezzementi, Allison M. Okamura, Gregory...