Sciweavers

6794 search results - page 193 / 1359
» Semantics of Visual Languages
Sort
View
SAIG
2000
Springer
14 years 27 days ago
Multi-Stage Imperative Languages: A Conservative Extension Result
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
Cristiano Calcagno, Eugenio Moggi
ECOOP
2010
Springer
14 years 1 months ago
Embedding Languages without Breaking Tools
Domain-specific languages (DSLs) are increasingly used as embedded languages within general-purpose host languages. DSLs provide a compact, dedicated syntax for specifying parts o...
Lukas Renggli, Tudor Gîrba, Oscar Nierstrasz
VISUAL
2007
Springer
14 years 3 months ago
News Video Retrieval by Learning Multimodal Semantic Information
With the explosion of multimedia data especially that of video data, requirement of efficient video retrieval has becoming more and more important. Years of TREC Video Retrieval Ev...
Hui Yu, Bolan Su, Hong Lu, Xiangyang Xue
MVA
2007
112views Computer Vision» more  MVA 2007»
13 years 10 months ago
Probabilistically Semantic Labeling of IR Image for UAV
Applying computer vision technology to IR (Infra-Red) images for UAV (Unmanned Aerial Vehicle) applications is difficult due to its characteristics which differ from common image ...
Teng Li, Jihwan Woo, In-So Kweon
JFPLC
1998
13 years 10 months ago
DF - a feature constraint system and its extension to a logic concurrent language
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
Liviu-Virgil Ciortuz