6527 search results - page 294 / 1306 » On Typing Information Flow |
172
click to vote
FUIN
2007
15 years 7 months ago
2007
We define a relative version of the logic NIL introduced by Orłowska, Pawlak and Vakarelov and we show that satisfiability is not only decidable but also EXPTIME-complete. Such ...
220
click to vote
FBIT
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
183
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
— A planning method for unraveling deformable linear objects based on 2D information about their crossing states is proposed. In manipulation of a linear object, its raveling mus...
191
click to vote
EGOV
2004
Springer
16 years 25 days ago
2004
Springer
IT managers in administration must decide how to contribute to cross-organisational integration and what strategy and means to choose for achieving interoperability. Comparing the ...
200
click to vote
CIKM
1998
Springer
15 years 11 months ago
1998
Springer
We present a new approach to extracting information from unstructured documents based on an application ontology that describes a domain of interest. Starting with such an ontolog...