Sciweavers

704 search results - page 74 / 141
» A Note on Typing Feature Structures
Sort
View
103
Voted
VLDB
2001
ACM
92views Database» more  VLDB 2001»
15 years 7 months ago
Fast Evaluation Techniques for Complex Similarity Queries
Complex similarity queries, i.e., multi-feature multi-object queries, are needed to express the information need of a user against a large multimedia repository. Even if a user in...
Klemens Böhm, Michael Mlivoncic, Hans-Jö...
113
Voted
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 2 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
87
Voted
ICMCS
2010
IEEE
121views Multimedia» more  ICMCS 2010»
15 years 1 months ago
Estimating cinematographic scene depth in movie shots
In film-making, the distance from the camera to the subject greatly affects the narrative power of a shot. By the alternate use of Long shots, Medium and Close-ups the director i...
Sergio Benini, Luca Canini, Riccardo Leonardi
CISIS
2009
IEEE
15 years 9 months ago
Application of a Critical Chain Project Management Based Framework on Max-Plus Linear Systems
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
Hirotaka Takahashi, Hiroyuki Goto, Munenori Kasaha...
122
Voted
PADL
2004
Springer
15 years 8 months ago
Parametric Fortran - A Program Generator for Customized Generic Fortran Extensions
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
Martin Erwig, Zhe Fu