Sciweavers

2115 search results - page 326 / 423
» Semantic structure from motion
Sort
View
ICFP
2007
ACM
16 years 6 months ago
Ott: effective tool support for the working semanticist
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
Peter Sewell, Francesco Zappa Nardelli, Scott Owen...
ATAL
2005
Springer
15 years 12 months ago
On the dynamics of delegation, cooperation, and control: a logical account
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 ...
Wiebe van der Hoek, Michael Wooldridge
CIVR
2004
Springer
184views Image Analysis» more  CIVR 2004»
15 years 10 months ago
Towards a Large Scale Concept Ontology for Broadcast Video
Earlier this year, a major effort was initiated to study the theoretical and empirical aspects of the automatic detection of semantic concepts in broadcast video, complementing ong...
Alexander G. Hauptmann
ECIS
2003
15 years 7 months ago
Conceptual design of www-based information systems
Today, companies and their information systems are facing a very dynamic and fast changing environment. Fast changing demands require varying information in varying places. Users ...
Jörg Becker, Christian Brelage, Michael Thygs...
ACL
1997
15 years 7 months ago
Fertility Models for Statistical Natural Language Understanding
Several recent efforts in statistical natural language understanding (NLU) have focused on generating clumps of English words from semantic meaning concepts (Miller et al., 1995; ...
Stephen Della Pietra, Mark Epstein, Salim Roukos, ...