4902 search results - page 628 / 981 » Structures, Semantics and Statistics |
197
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
FreshML extends ML with elegant and practical constructs for declaring and manipulating syntactical data involving statically scoped binding operations. User-declared FreshML data...
227
click to vote
MIR
2010
ACM
16 years 1 months ago
2010
ACM
Most video retrieval systems are multimodal, commonly relying on textual information, low- and high-level semantic features extracted from query visual examples. In this work, we ...
187
click to vote
EDBT
2010
ACM
16 years 1 months ago
2010
ACM
Schemas, and more generally metadata specifying structural and semantic constraints, are invaluable in data management. They facilitate conceptual design and enable checking of da...
199
click to vote
OTM
2007
Springer
16 years 28 days ago
2007
Springer
Despite significant advancement in ontology learning, building ontologies remains a task that highly depends on human intelligence, both as a source of domain expertise and for pro...
205
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...