Sciweavers

2043 search results - page 65 / 409
» Some Basics on Tolerances
Sort
View
KR
1998
Springer
15 years 10 months ago
Combining Narratives
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
John McCarthy, Tom Costello
RWEB
2009
Springer
16 years 26 days ago
Description Logics
In this chapter we will introduce description logics, a family of logic-based knowledge representation languages that can be used to represent the terminological knowledge of an a...
Franz Baader
MVA
2002
132views Computer Vision» more  MVA 2002»
15 years 6 months ago
Constituting Feasible Folding Operation Using Incomplete Crease Information
This paper proposes a novel approach to constituting all the feasible ways of folding, based on crease infomation obtained from an image of illustrations of general origami drill ...
Hiroshi Shimanuki, Jien Kato, Toyohide Watanabe
STOC
2002
ACM
101views Algorithms» more  STOC 2002»
16 years 6 months ago
Size space tradeoffs for resolution
We investigate tradeoffs of various basic complexity measures such as size, space and width. We show examples of formulas that have optimal proofs with respect to any one of these...
Eli Ben-Sasson
ICC
2007
IEEE
111views Communications» more  ICC 2007»
16 years 19 days ago
TDM Emulation in Packet-Switched Networks
— Many network operators offer some type of tiered service, in which users may select only from a small set of service levels (tiers). In this work, we study the problem of desig...
George N. Rouskas, Nikhil Baradwaj