1746 search results - page 43 / 350 » A Constructive Semantics for ALC |
111
click to vote
ICALT
2009
IEEE
15 years 10 months ago
2009
IEEE
This paper reports on Korean Word Associations (KorWA) which were collected to construct a semantic network for Korean language. An approach of graph representation and network an...
206
click to vote
CVPR
2009
IEEE
16 years 11 months ago
2009
IEEE
Analyzing videos of human activities involves not only
recognizing actions (typically based on their appearances),
but also determining the story/plot of the video. The storyline...
132
click to vote
IPMI
2005
Springer
16 years 4 months ago
2005
Springer
Abstract. This paper presents a new approach to inverse consistent image registration. A uni-directional algorithm is developed using symmetric cost functionals and regularizers. I...
139
click to vote
CVPR
2009
IEEE
15 years 10 months ago
2009
IEEE
Analyzing videos of human activities involves not only recognizing actions (typically based on their appearances), but also determining the story/plot of the video. The storyline ...
161
click to vote
HASKELL
2005
ACM
15 years 9 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...