2373 search results - page 164 / 475 » On the Theory of Structural Subtyping |
154
click to vote
TYPES
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...
197
click to vote
ATAL
2004
Springer
16 years 13 hour ago
2004
Springer
In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ ability to conf...
209
click to vote
ATAL
2004
Springer
16 years 13 hour ago
2004
Springer
Abstract. In recent years, mobile ad-hoc networks (MANET’s) have been deployed in various scenarios, but their scalability is severely restricted by the human operators’ abilit...
149
click to vote
ESWS
2004
Springer
16 years 4 hour ago
2004
Springer
Knowledge Provenance is an approach to determining the origin and validity of knowledge/information on the web by means of modeling and maintaining information sources and dependen...
184
Voted
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
In the challenges faced by organisations in the area of knowledge management, there is clearly a role for information and communications technologies in supporting the exploitatio...