Sciweavers

14709 search results - page 130 / 2942
» Semantic feature modelling
Sort
View
ENTCS
2002
83views more  ENTCS 2002»
15 years 3 months ago
Operational Semantics for Functional Logic Languages
In this work we provide a semantic description of functional logic languages covering notions like laziness, sharing, and non-determinism. Such a semantic description is essential...
Elvira Albert, Michael Hanus, Frank Huch, Javier O...
IROS
2009
IEEE
207views Robotics» more  IROS 2009»
15 years 9 months ago
Estimation of camera motion with feature flow model for 3D environment modeling by using omni-directional camera
Abstract— Map information is important for path planning and self-localization when mobile robots accomplish autonomous tasks. In unknown environments, mobile robots should gener...
Ryosuke Kawanishi, Atsushi Yamashita, Toru Kaneko
COLING
1994
15 years 4 months ago
Dynamic Logic With Possible World
This paper introduces a semantic theory I)I,PW, l)ynamic l,ogic with Possible World, which extends Groenendijk's I)PI, and Cresswell's Indices Semantics. The semantics c...
Ruzhan Lu
142
Voted
ACL
1989
15 years 4 months ago
A Three-Valued Interpretation of Negation in Feature Structure Descriptions
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
Anuj Dawar, K. Vijay-Shanker
ESWS
2008
Springer
15 years 5 months ago
Semantic Email as a Communication Medium for the Social Semantic Desktop
In this paper, we introduce a formal email workflow model based on traditional email, which enables the user to define and execute ad-hoc workflows in an intuitive way. This model ...
Simon Scerri, Siegfried Handschuh, Stefan Decker