Sciweavers

4987 search results - page 345 / 998
» Support Ordered Resolution
Sort
View
140
Voted
IGPL
2007
113views more  IGPL 2007»
15 years 5 months ago
Pandora: A Reasoning Toolbox using Natural Deduction Style
Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’â...
Krysia Broda, Jiefei Ma, Gabrielle Sinnadurai, Ale...
CCR
2000
94views more  CCR 2000»
15 years 4 months ago
An application developer's perspective on reliable multicast for distributed interactive media
In this paper we investigate which characteristics reliable multicast services should have in order to be appropriate for use by distributed interactive media applications such as...
Martin Mauve, Volker Hilt
DEBU
2002
144views more  DEBU 2002»
15 years 4 months ago
Definition and Execution of Composite Web Services: The SELF-SERV Project
Web services composition is emerging as a promising technology for the effective automation of businessto-business collaborations. It allows organizations to form alliances by con...
Boualem Benatallah, Marlon Dumas, Zakaria Maamar
GIS
2002
ACM
15 years 4 months ago
Web architectures for scalable moving object servers
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
Cédric du Mouza, Philippe Rigaux
99
Voted
MOC
2002
75views more  MOC 2002»
15 years 4 months ago
Quincunx fundamental refinable functions and quincunx biorthogonal wavelets
Abstract. We analyze the approximation and smoothness properties of quincunx fundamental refinable functions. In particular, we provide a general way for the construction of quincu...
Bin Han 0003, Rong-Qing Jia