Sciweavers

14190 search results - page 2600 / 2838
» Abstractions for hybrid systems
Sort
View
JELIA
2010
Springer
15 years 5 months ago
Tabling with Answer Subsumption: Implementation, Applications and Performance
Tabled Logic Programming (TLP) is becoming widely available in Prolog systems, but most implementations of TLP implement only answer variance in which an answer A is added to the t...
Terrance Swift, David Scott Warren
KI
2010
Springer
15 years 5 months ago
Local Adaptive Extraction of References
Abstract. The accurate extraction of scholarly reference information from scientific publications is essential for many useful applications like BIBTEX management systems or citati...
Peter Klügl, Andreas Hotho, Frank Puppe
MACOM
2010
15 years 5 months ago
Quality of Service Oriented Analysis of Cross-Layer Design in Wireless Ad Hoc Networks
Abstract. In wireless ad hoc networks, cross-layer design aims at reducing multiple access interference and thus obtaining a higher spatial reuse. In order to identify the most sui...
Ulrike Korger, Christian Hartmann, Katsutoshi Kusu...
MICCAI
2010
Springer
15 years 5 months ago
Symmetric Positive-Definite Cartesian Tensor Orientation Distribution Functions (CT-ODF)
Abstract. A novel method for estimating a field of orientation distribution functions (ODF) from a given set of DW-MR images is presented. We model the ODF by Cartesian tensor basi...
Yonas T. Weldeselassie, Angelos Barmpoutis, M. Ste...
PAAMS
2010
Springer
15 years 5 months ago
Towards Improving Supply Chain Coordination through Agent-Based Simulation
Abstract One of the most significant paradigm shifts of modern business management is that individual businesses no longer compete as autonomous entities but rather as supply chain...
Areti Manataki, Yun-Heh Chen-Burger, Michael Rovat...
« Prev « First page 2600 / 2838 Last » Next »