Sciweavers

4745 search results - page 750 / 949
» Discretization: An Enabling Technique
Sort
View
ACCV
2009
Springer
15 years 10 months ago
Semantic Classification in Aerial Imagery by Integrating Appearance and Height Information
Abstract. In this paper we present an efficient technique to obtain accurate semantic classification on the pixel level capable of integrating various modalities, such as color, ed...
Stefan Kluckner, Thomas Mauthner, Peter M. Roth, H...
ATAL
2009
Springer
15 years 10 months ago
Norm-based behaviour modification in BDI agents
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
Felipe Rech Meneguzzi, Michael Luck
BIRTHDAY
2007
Springer
15 years 10 months ago
Applying a Theorem Prover to the Verification of Optimistic Replication Algorithms
Abstract. The Operational Transformation (OT) approach is a technique for supporting optimistic replication in collaborative and mobile systems. It allows the users to concurrently...
Abdessamad Imine, Michaël Rusinowitch
IPCAI
2010
15 years 10 months ago
Ultrasound Servoing of Catheters for Beating Heart Valve Repair
Robotic cardiac catheters have the potential to revolutionize heart surgery by extending minimally invasive techniques to complex surgical repairs inside the heart. However, cathet...
Samuel B. Kesner, Shelten G. Yuen, Robert D. Howe
CASES
2007
ACM
15 years 10 months ago
Performance evaluation and optimization of dual-port SDRAM architecture for mobile embedded systems
Recently dual-port SDRAM (DPSDRAM) architecture tailored for dual-processor based mobile embedded systems has been announced where a single memory chip plays the role of the local...
Hoeseok Yang, Sungchan Kim, Hae-woo Park, Jinwoo K...