Sciweavers

2521 search results - page 333 / 505
» Semantic Component Composition
Sort
View
EUROS
2008
194views Robotics» more  EUROS 2008»
15 years 2 months ago
Compiling POMDP Models for a Multimodal Service Robot from Background Knowledge
This paper presents an approach to create POMDP models, used for decision making by an autonomous service robot, from background knowledge. This allows the power of POMDP decision ...
Sven R. Schmidt-Rohr, Rainer Jäkel, Martin L&...
FMCAD
2008
Springer
15 years 2 months ago
Mechanized Information Flow Analysis through Inductive Assertions
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
Warren A. Hunt Jr., Robert Bellarmine Krug, Sandip...
91
Voted
LREC
2008
147views Education» more  LREC 2008»
15 years 2 months ago
Word Segmentation of Vietnamese Texts: a Comparison of Approaches
We present in this paper a comparison between three segmentation systems for the Vietnamese language. Indeed, the majority of Vietnamese words is built by semantic composition fro...
Quang Thang Dinh, Hong Phuong Le, Thi Minh Huyen N...
EACL
2006
ACL Anthology
15 years 2 months ago
Compiling French-Japanese Terminologies from the Web
We propose a method for compiling bilingual terminologies of multi-word terms (MWTs) for given translation pairs of seed terms. Traditional methods for bilingual terminology compi...
Xavier Robitaille, Yasuhiro Sasaki, Masatsugu Tono...
91
Voted
SPIESR
2001
141views Database» more  SPIESR 2001»
15 years 2 months ago
Image retrieval based on region shape similarity
This paper presents an image retrieval method based on region shape similarity. In our approach, we first segment images into primitive regions and then combine some of the primit...
Cheng Chang, Wenyin Liu, HongJiang Zhang