Sciweavers

20 search results - page 4 / 4
» Reasoning Credulously and skeptically within a single extens...
Sort
View
CAISE
2005
Springer
14 years 2 months ago
Query Processing Using Ontologies
Abstract. Recently, the database and AI research communities have paid increased attention to ontologies. The main motivating reason is that ontologies promise solutions for comple...
Chokri Ben Necib, Johann Christoph Freytag
IPPS
1998
IEEE
14 years 25 days ago
Multiparadigm, Multilingual Interoperability: Experience with Converse
The Converse run-time framework was designed with dual objectives: that of supporting quick development of portable run-time systems for new parallel programming paradigms, and tha...
Laxmikant V. Kalé, Milind A. Bhandarkar, Ro...
ML
2006
ACM
103views Machine Learning» more  ML 2006»
14 years 2 months ago
Type-safe distributed programming for OCaml
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
John Billings, Peter Sewell, Mark R. Shinwell, Rok...
INFOCOM
2008
IEEE
14 years 3 months ago
Cell Selection in 4G Cellular Networks
—Cell selection is the process of determining the cell(s) that provide service to each mobile station. Optimizing these processes is an important step towards maximizing the util...
David Amzallag, Reuven Bar-Yehuda, Danny Raz, Gabr...
AINA
2007
IEEE
14 years 2 months ago
An Application-Driven MAC-layer Buffer Management with Active Dropping for Real-time Video Streaming in 802.16 Networks
— In this paper, we propose an application-driven MAC-layer buffer management framework based on a novel Active Dropping (AD) mechanism for real-time video streaming in IEEE 802....
James She, Fen Hou, Pin-Han Ho