5451 search results - page 266 / 1091 » Typed Operational Semantics |
202
click to vote
SI3D
2006
ACM
16 years 1 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...
218
click to vote
PASTE
2005
ACM
16 years 21 days 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...
308
click to vote
SLOGICA
2011
15 years 2 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...
212
click to vote
IEAAIE
2007
Springer
16 years 1 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...
186
click to vote
SEMWIKI
2008
15 years 8 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...