2646 search results - page 93 / 530 » Local Type Inference |
153
click to vote
ECCV
2004
Springer
16 years 4 months ago
2004
Springer
Abstract. The exploitation of video data requires to extract information at a rather semantic level, and then, methods able to infer "concepts" from low-level video featu...
124
Voted
ICLP
2009
Springer
15 years 9 months ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
121
Voted
ICSE
1999
IEEE-ACM
15 years 6 months ago
1999
IEEE-ACM
A program’s object model captures the essence of its design. For some programs, no object model was developed during design; for others, an object model exists but may be out-of...
115
click to vote
WSC
1997
15 years 3 months ago
1997
This paper discusses the design, development, and use of a performance monitoring tool for Distributed Interactive Simulations (DIS). A typical DIS environment consists of hundred...
112
click to vote
JLP
2006
15 years 2 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...