2705 search results - page 287 / 541 » Formal Ontology for Subject |
190
click to vote
PEWASUN
2006
ACM
16 years 16 days ago
2006
ACM
Mobility, in its various forms, is one of the sources of several technical challenges being addressed in the last years to achieve a more flexible computing and communication inf...
155
click to vote
SAC
2006
ACM
16 years 16 days ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
171
click to vote
HT
2005
ACM
16 years 4 days ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
154
click to vote
IUI
2005
ACM
16 years 4 days ago
2005
ACM
A new generation of intelligent applications can be enabled by broad-coverage knowledge repositories about everyday objects. We distill lessons in design of intelligent user inter...
181
click to vote
KCAP
2005
ACM
16 years 4 days ago
2005
ACM
User-centered consultation systems can be viewed as systems with trust in the competence of the user, whereas conventional knowledge systems are often based on some mistrust. By o...