5451 search results - page 266 / 1091 » Typed Operational Semantics |
132
Voted
SI3D
2006
ACM
15 years 10 months ago
2006
ACM
Shade Trees Morgan McGuire George Stathis Hanspeter Pfister Shriram Krishnamurthi Brown University Harvard Extension School MERL Brown University As GPU-powered special effects be...
166
click to vote
PASTE
2005
ACM
15 years 10 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
225
click to vote
SLOGICA
2011
14 years 11 months ago
2011
The paper contains a survey of (mainly unpublished) adaptive logics of inductive generalization. These defeasible logics are precise formulations of certain methods. Some attentio...
147
Voted
IEAAIE
2007
Springer
15 years 10 months ago
2007
Springer
We employ the techniques of ontology and linguistics to develop a fully-automatic annotation technique, which, when coupled with an automatic ontology construction method, can play...
131
click to vote
SEMWIKI
2008
15 years 6 months ago
2008
Abstract. For document-centric work, meta-information in form of annotations has proven useful to enhance search and other retrieval tasks. Since creating annotations manually is a...