Sciweavers

583 search results - page 47 / 117
» More Reflections on
Sort
View
NJC
2006
88views more  NJC 2006»
13 years 8 months ago
Optimizing Slicing of Formal Specifications by Deductive Verification
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
Ingo Brückner, Björn Metzler, Heike Wehr...
MIDDLEWARE
2001
Springer
14 years 1 months ago
An Efficient Component Model for the Construction of Adaptive Middleware
Middleware has emerged as an important architectural component in modern distributed systems. Most recently, industry has witnessed the emergence of component-based middleware pla...
Michael Clarke, Gordon S. Blair, Geoff Coulson, Ni...
ACL
2006
13 years 10 months ago
Morphology-Syntax Interface for Turkish LFG
This paper investigates the use of sublexical units as a solution to handling the complex morphology with productive derivational processes, in the development of a lexical functi...
Özlem Çetinoglu, Kemal Oflazer
CVPR
2008
IEEE
14 years 10 months ago
Radiometric calibration using temporal irradiance mixtures
We propose a new method for sampling camera response functions: temporally mixing two uncalibrated irradiances within a single camera exposure. Calibration methods rely on some kn...
Bennett Wilburn, Hui Xu, Yasuyuki Matsushita
ICCV
2007
IEEE
14 years 10 months ago
Graph Based Discriminative Learning for Robust and Efficient Object Tracking
Object tracking is viewed as a two-class 'one-versusrest' classification problem, in which the sample distribution of the target is approximately Gaussian while the back...
Xiaoqin Zhang, Weiming Hu, Stephen J. Maybank, Xi ...