Sciweavers

644 search results - page 60 / 129
» Translation the Wiki way
Sort
View
MM
2006
ACM
134views Multimedia» more  MM 2006»
14 years 2 months ago
Autonomous light air vessels (ALAVs)
Through a defined research process we designed objects that behave and respond in specific ways and are part of a networked system that emphasizes autonomous and flocking behavior...
Jed Berk, Nikhil Mitter
ACL
2000
13 years 9 months ago
PENS: A Machine-aided English Writing System for Chinese Users
Writing English is a big barrier for most Chinese users. To build a computer-aided system that helps Chinese users not only on spelling checking and grammar checking but also on w...
Ting Liu, Ming Zhou, Jianfeng Gao, Endong Xun, Cha...
RTA
2011
Springer
12 years 11 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl
SCALESPACE
2001
Springer
14 years 14 days ago
Scale-Time Kernels and Models
Receptive field sensitivity profiles of visual front-end cells in the LGN and V1 area in intact animals can be measured with increasing accuracy, both in the spatial and temporal...
Bart M. ter Haar Romeny, Luc Florack, Mads Nielsen
CVPR
1998
IEEE
14 years 10 months ago
Motion Feature Detection Using Steerable Flow Fields
The estimation and detection of occlusion boundaries and moving bars are important and challenging problems in image sequence analysis. Here, we model such motion features as line...
David J. Fleet, Michael J. Black, Allan D. Jepson