Sciweavers

500 search results - page 38 / 100
» Procedure Placement Using Temporal Ordering Information
Sort
View
COOPIS
1998
IEEE
14 years 1 months ago
A Dynamic and Adaptive Cache Retrieval Scheme for Mobile Computing
Recent advances in wireless technologies have made the mobile computing a reality. In order to provide services of good quality to mobile users and improve the system performance,...
Wen-Chih Peng, Ming-Syan Chen
ICPP
1993
IEEE
14 years 26 days ago
A Unified Model for Concurrent Debugging
: Events are occurrence instances of actions. The thesis of this paper is that the use of “actions”, instead of events, greatly simplifies the problem of concurrent debugging....
S. I. Hyder, John Werth, James C. Browne
LPNMR
1993
Springer
14 years 24 days ago
Negation as Partial Failure
We present a logic programming language which uses a four-valued bilattice as the underlying framework for semantics of programs. The two orderings of the bilattice reflect the c...
Bamshad Mobasher, Jacek Leszczylowski, Don Pigozzi
CORR
2006
Springer
103views Education» more  CORR 2006»
13 years 8 months ago
Unifying Lexicons in view of a Phonological and Morphological Lexical DB
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
Federico Calzolari, Michele Mammini, Monica Monach...
JAPLL
2010
141views more  JAPLL 2010»
13 years 7 months ago
Algebraic tableau reasoning for the description logic SHOQ
Semantic web applications based on the web ontology language (OWL) often require the use of numbers in class descriptions for expressing cardinality restrictions on properties or ...
Jocelyne Faddoul, Volker Haarslev