Sciweavers

4961 search results - page 543 / 993
» Homomorphism-Homogeneous Relational Structures
Sort
View
SAC
2010
ACM
16 years 1 months ago
Checking concurrent contracts with aspects
The applicability of aspects as a means of implementing runtime contract checking has been demonstrated in prior work, where contracts are identified as cross-cutting concerns [1...
Eric Kerfoot, Steve McKeever
TEI
2010
ACM
163views Hardware» more  TEI 2010»
16 years 1 months ago
A 6DoF fiducial tracking method based on topological region adjacency and angle information for tangible interaction
In this paper, we describe a new method for camera-based fiducial tracking. Our new method is based on the combination of topological region adjacency and angle information, where...
Hiroki Nishino
ARC
2010
Springer
387views Hardware» more  ARC 2010»
16 years 1 months ago
Optimising Memory Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods
Computing the solution to a system of linear equations is a fundamental problem in scientific computing, and its acceleration has drawn wide interest in the FPGA community [1–3]...
David Boland, George A. Constantinides
FASE
2010
Springer
16 years 1 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
CVPR
2009
IEEE
16 years 1 months ago
Fast car detection using image strip features
This paper presents a fast method for detecting multi-view cars in real-world scenes. Cars are artificial objects with various appearance changes, but they have relatively consist...
Wei Zheng, Luhong Liang