1321 search results - page 240 / 265 » Subtyping in Logical Form |
137
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
The Semantic Web promises to open innumerable opportunities for automation and information retrieval by standardizing the protocols for metadata exchange. However, just as the succ...
240
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
This paper is concerned with a programming language construct for typed name binding that enforces -equivalence. It proves a new result about what operations on names can co-exist...
148
click to vote
DIS
2009
Springer
15 years 10 months ago
2009
Springer
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
146
click to vote
INDIASE
2009
ACM
15 years 10 months ago
2009
ACM
We describe how development productivity for multi-tier webbased database ‘forms’ oriented applications can be significantly improved using ‘InstantApps’, an interpretive ...
153
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Previous work of the authors has studied a notion of implication between sets of sequences based on the conceptual structure of a Galois lattice, and also a way of repres...