5451 search results - page 587 / 1091 » Typed Operational Semantics |
205
click to vote
INTELLCOMM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. In this paper we propose the usage of W3C-standardized query language, XQuery, to accommodate XML Update. Our main aim is to enable the update without violating the seman...
199
click to vote
KR
2004
Springer
16 years 6 days ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
172
click to vote
SGAI
2004
Springer
16 years 6 days ago
2004
Springer
Reuse of knowledge bases and the semantic web are two promising areas in knowledge technologies. Given some user requirements, finding the suitable ontologies is an important task...
176
click to vote
SSPR
2004
Springer
16 years 6 days ago
2004
Springer
The creation of a cognitive perception systems capable of inferring higher-level semantic information from low-level feature and event information for a given type of multimedia co...
156
click to vote
ICCS
2003
Springer
16 years 1 days ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...