Sciweavers

883 search results - page 40 / 177
» The Semantics of Verilog Using Transition System Combinators
Sort
View
ECOOP
1999
Springer
14 years 1 months ago
Propagating Class and Method Combination
Abstract. This paper presents a mixin based class and method combination mechanism with block structure propagation. Traditionally, mixins can be composed to form new classes, poss...
Erik Ernst
ESWS
2007
Springer
13 years 10 months ago
SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web
Abstract. Search engines have become the most popular tools for finding information on the Internet. A real-world Semantic Web application can benefit from this by combining its ...
Ismail Fahmi, Junte Zhang, Henk Ellermann, Gosse B...
PPDP
2005
Springer
14 years 2 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet
SCP
1998
163views more  SCP 1998»
13 years 8 months ago
Computing with Continuous Change
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
Vineet Gupta, Radha Jagadeesan, Vijay A. Saraswat
WM
2003
13 years 10 months ago
Ontologies in Cross-Language Information Retrieval
: We present an approach to using ontologies as interlingua in cross-language information retrieval in the medical domain. Our approach is based on using the Unified Medical Langu...
Martin Volk, Spela Vintar, Paul Buitelaar