Sciweavers

2651 search results - page 119 / 531
» Experiences with the Use of a Configuration Language
Sort
View
CADE
2004
Springer
14 years 9 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
ECSCW
1997
13 years 10 months ago
Task Conflict and Language Differences: Opportunities for Videoconferencing
: Considerable research has found that adding audio to desktop conferencing improves problem-solving, but that there is no additional benefit from adding video This paper describes...
Gayna Williams
ICCV
2011
IEEE
12 years 9 months ago
Active Scene Recognition with Vision and Language
This paper presents a novel approach to utilizing high level knowledge for the problem of scene recognition in an active vision framework, which we call active scene recognition. ...
Xiaodong Yu, Teo Ching Lik, Yezhou Yang, Cornelia ...
LREC
2010
143views Education» more  LREC 2010»
13 years 10 months ago
Learning Morphology of Romance, Germanic and Slavic Languages with the Tool Linguistica
In this paper we present preliminary work conducted on semi-automatic induction of inflectional paradigms from non annotated corpora using the open-source tool Linguistica (Goldsm...
Helena Blancafort
SDL
2007
139views Hardware» more  SDL 2007»
13 years 10 months ago
A Model-Based Standard for SDL
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
Andreas Prinz, Markus Scheidgen, Merete Skjelten T...