1321 search results - page 213 / 265 » Subtyping in Logical Form |
147
click to vote
ICDAR
2003
IEEE
15 years 11 months ago
2003
IEEE
The design of new diagram recognition systems remains a challenging problem. Ideally, recognition systems should accept real-world input, perform robustly, fail gracefully, and be...
133
click to vote
UIST
2003
ACM
15 years 11 months ago
2003
ACM
This paper offers a solution to the mode problem in computer sketch/notetaking programs. Conventionally, the user must specify the intended "draw" or "command"...
147
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
We define a Mobile Database Community (MDBC) as a dynamic collection of autonomous mobile databases in which each database user can access databases in the community through a wir...
189
click to vote
CCS
2003
ACM
15 years 11 months ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...
145
click to vote
CONTEXT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...