Sciweavers

3718 search results - page 570 / 744
» IMPS: System Description
Sort
View
ICMCS
2010
IEEE
268views Multimedia» more  ICMCS 2010»
15 years 7 months ago
Scalable MDC for 3D Stereoscopic Video using motion vector encoding
Interest in 3D video visualization systems is a ever growing field. Such areas include the provision of 3D content to users thus opening the exploration of 3D video communication ...
Steven Adedoyin, Warnakulasuriya Anil Chandana Fer...
CII
2008
100views more  CII 2008»
15 years 6 months ago
Knowledge formalization in experience feedback processes: An ontology-based approach
Because of the current trend of integration and interoperability of industrial systems, their size and complexity continue to grow making it more difficult to analyze, to understa...
Bernard Kamsu Foguem, Thierry Coudert, C. Bé...
CORR
2010
Springer
110views Education» more  CORR 2010»
15 years 6 months ago
Mixing Time and Stationary Expected Social Welfare of Logit Dynamics
We study logit dynamics [3] for strategic games. At every stage of the game a player is selected uniformly at random and she is assumed to play according to a noisy best-response ...
Vincenzo Auletta, Diodato Ferraioli, Francesco Pas...
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 6 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
ECEASST
2008
121views more  ECEASST 2008»
15 years 6 months ago
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
Mirco Kuhlmann, Martin Gogolla