Sciweavers

11462 search results - page 378 / 2293
» Developing Application-Centric Methods
Sort
View
ICASSP
2009
IEEE
15 years 11 months ago
Control of prosodic focus in corpus-based generation of fundamental frequency contours of Japanese based on the generation proce
A total corpus-based process of generating prosodic features from text is developed. The process first predicts pauses and phone durations, and then generates F0 contours. Since F...
Keiko Ochi, Keikichi Hirose, Nobuaki Minematsu
APLAS
2009
ACM
15 years 11 months ago
The Higher-Order, Call-by-Value Applied Pi-Calculus
We define a higher-order process calculus with algebraic operations such as encryption and decryption, and develop a bisimulation proof method for behavioral equivalence in this c...
Nobuyuki Sato, Eijiro Sumii
AH
2008
Springer
15 years 11 months ago
Towards Computerized Adaptive Assessment Based on Structured Tasks
In an attempt to support traditional classroom assessment processes with fully computerized methods, we have developed a method for adaptive assessment suitable for well structured...
Jozef Tvarozek, Milos Kravcik, Mária Bielik...
145
Voted
ICRA
2007
IEEE
174views Robotics» more  ICRA 2007»
15 years 11 months ago
Full Motion Tracking in Ultrasound Using Image Speckle Information and Visual Servoing
— This paper presents a new visual servoing method that is able to stabilize a moving area of soft tissue within an ultrasound B-mode imaging plane. The approach consists of movi...
Alexandre Krupa, Gabor Fichtinger, Gregory D. Hage...
IROS
2007
IEEE
99views Robotics» more  IROS 2007»
15 years 11 months ago
Multi-robot routing with rewards and disjoint time windows
Abstract— Multiple robots are often faster and more faulttolerant than single robots for applications such as planetary exploration and search and rescue. We study applications w...
Justin Melvin, Pinar Keskinocak, Sven Koenig, Crai...