Sciweavers

640 search results - page 69 / 128
» Aspectual Feature Modules
Sort
View
83
Voted
ISMAR
2003
IEEE
15 years 3 months ago
Collaborative Work with Volumetric Data Using Augmented Reality Videoconferencing
The Augmented Reality Videoconferencing System is a novel remote collaboration tool combining a desktop-based AR system and a videoconferencing module. The novelty of our system i...
István Barakonyi, Tamer Fahmy, Dieter Schma...
AMTA
2000
Springer
15 years 2 months ago
Oxygen: A Language Independent Linearization Engine
This paper describes a language independent linearization engine, oxyGen. This system compiles target language grammars into programs that take feature graphs as inputs and genera...
Nizar Habash
108
Voted
APN
2010
Springer
15 years 2 months ago
AlPiNA: A Symbolic Model Checker
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...
Didier Buchs, Steve Hostettler, Alexis Marechal, M...
70
Voted
ASPDAC
1999
ACM
117views Hardware» more  ASPDAC 1999»
15 years 2 months ago
Analysing Forced Oscillators with Multiple Time Scales
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
Onuttom Narayan, Jaijeet S. Roychowdhury
79
Voted
ECOOP
1997
Springer
15 years 2 months ago
Subtyping Is Not a Good "Match" for Object-Oriented Languages
We present the design and rationale of a new statically-typed object-oriented language, LOOM. LOOM retains most of the features of the earlier language PolyTOIL. However the subtyp...
Kim B. Bruce, Leaf Petersen, Adrian Fiech