Sciweavers

4985 search results - page 209 / 997
» Observation of String-Rewriting Systems
Sort
View
ICPR
2006
IEEE
16 years 5 months ago
Multiple Camera Calibration with Bundled Optimization using Silhouette Geometry Constraints
We propose a method of calibrating multiple camera systems that operates by adjusting the camera parameters and the 3D shape of objects onto silhouette observations. Our method em...
Akira Utsumi, Hirotake Yamazoe, Shinji Abe
ICSM
2009
IEEE
15 years 10 months ago
Searching and skimming: An exploratory study
Source code search is an important activity for programmers working on a change task to a software system. As part of a larger project to improve tool support for finding informa...
Jamie Starke, Chris Luce, Jonathan Sillito
SFM
2009
Springer
150views Formal Methods» more  SFM 2009»
15 years 10 months ago
Contract-Based Discovery and Composition of Web Services
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
Mario Bravetti, Gianluigi Zavattaro
ICRA
2008
IEEE
110views Robotics» more  ICRA 2008»
15 years 10 months ago
Mobile microscope: a new concept for hand-held microscopes with image stabilization
— In this paper, we propose the concept of a ”mobile microscope”. This is a hand-held microscope that can be used for observation in various places. Because microscopes which...
Takahiko Ishikawa, Hiromasa Oku, Masatoshi Ishikaw...
SECURWARE
2008
IEEE
15 years 10 months ago
From Monitoring Templates to Security Monitoring and Threat Detection
Abstract. This paper presents our pattern-based approach to run-time requirements monitoring and threat detection being developed as part of an approach to build frameworks support...
Nuno Amálio, George Spanoudakis