Sciweavers

3053 search results - page 449 / 611
» Structured Objects: Modeling and Reasoning
Sort
View
ACSD
1998
IEEE
101views Hardware» more  ACSD 1998»
15 years 6 months ago
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
Howard Bowman, Joost-Pieter Katoen
134
Voted
ECMAST
1997
Springer
172views Multimedia» more  ECMAST 1997»
15 years 6 months ago
A Multicast Network Architecture for Large Scale Collaborative Virtual Environments
This paper introduces a multicast based architecture for supporting large scale Collaborative Virtual Environments (CVEs). The paper begins by defining CVEs, discussing the motivat...
Chris Greenhalgh, Steve Benford
111
Voted
ICANN
1997
Springer
15 years 6 months ago
Recurrent Associative Memory Network of Nonlinear Coupled Oscillators
Abstract. The recurrent associative memory networks with complexvalued Hebbian matrices of connections are designed from interacting limitcycle oscillators. These oscillatory netwo...
Margarita Kuzmina, Eduard A. Manykin, Irina Surina
TOOLS
1992
IEEE
15 years 6 months ago
Write-ing Applications: Design of an Extensible Text Editor as an Application Framework
Using an object-oriented approach, the text editor Write has been designed to be extensible while its basic structure has been kept small and simple. As its main extension concept...
Clemens A. Szyperski
MEDINFO
2007
139views Healthcare» more  MEDINFO 2007»
15 years 3 months ago
Lessons Learned from Cross-Validating Alignments between Large Anatomical Ontologies
Objectives: To compare the alignments of two large anatomical ontologies (the Foundational Model of Anatomy and GALEN) produced by three ontology alignment systems (AOAS, FALCON a...
Songmao Zhang, Olivier Bodenreider