Sciweavers

14190 search results - page 2487 / 2838
» Abstractions for hybrid systems
Sort
View
SIGSOFT
1994
ACM
15 years 11 months ago
Reengineering a Complex Application Using a Scalable Data Structure Compiler
1 P2 is a scalable compiler for collection data structures. High-level ions insulate P2 users from data structure implementation details. By specifying a target data structure as a...
Don S. Batory, Jeff Thomas, Marty Sirkin
AAIM
2007
Springer
120views Algorithms» more  AAIM 2007»
15 years 11 months ago
Online OVSF Code Assignment with Resource Augmentation
Abstract. Orthogonal Variable Spreading Factor (OVSF) code assignment is a fundamental problem in Wideband Code-Division MultipleAccess (W-CDMA) systems, which play an important ro...
Francis Y. L. Chin, Yong Zhang, Hong Zhu
DEON
2010
Springer
15 years 11 months ago
Avoiding Deontic Explosion by Contextually Restricting Aggregation
Abstract. In this paper, we present an adaptive logic for deontic conflicts, called P2.1r , that is based on Goble’s logic SDLaPe—a bimodal extension of Goble’s logic P that...
Joke Meheus, Mathieu Beirlaen, Frederik Van De Put...
ACIVS
2007
Springer
15 years 11 months ago
A Multi-agent Approach for Range Image Segmentation with Bayesian Edge Regularization
Abstract. We present and evaluate in this paper a multi-agent approach for range image segmentation. The approach consists in using autonomous agents for the segmentation of a rang...
Smaine Mazouzi, Zahia Guessoum, Fabien Michel, Moh...
AIRS
2009
Springer
15 years 11 months ago
Enabling Effective User Interactions in Content-Based Image Retrieval
Abstract. This paper presents an interactive content-based image retrieval framework--uInteract, for delivering a novel four-factor user interaction model visually. The four-factor...
Haiming Liu 0002, Srdan Zagorac, Victoria S. Uren,...
« Prev « First page 2487 / 2838 Last » Next »