2830 search results - page 248 / 566 » No Science without Semantics |
115
Voted
ICFP
2007
ACM
16 years 2 months ago
2007
ACM
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...
132
Voted
EDBT
2010
ACM
15 years 9 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...
136
Voted
MM
2009
ACM
15 years 9 months ago
2009
ACM
In this work, we investigate how to automatically reassign the manually annotated labels at the image-level to those contextually derived semantic regions. First, we propose a bi-...
132
Voted
ATAL
2005
Springer
15 years 8 months 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 ...
121
Voted
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Software process and workflow languages are increasingly used to define loosely-coupled systems of systems. These languages focus on coordination issues such as data flow and c...