Sciweavers

8658 search results - page 1594 / 1732
» Models of Command and Control
Sort
View
FCSC
2010
170views more  FCSC 2010»
13 years 5 months ago
Formal verification of concurrent programs with read-write locks
Abstract Read-write locking is an important mechanism to improve concurrent granularity, but it is difficult to reason about the safety of concurrent programs with read-write locks...
Ming Fu, Yu Zhang, Yong Li
FIRSTMONDAY
2010
136views more  FIRSTMONDAY 2010»
13 years 5 months ago
Education and the social Web: Connective learning and the commercial imperative
In recent years, new socially-oriented Web technologies have been portrayed as placing the learner at the centre of networks of knowledge and expertise, potentially leading to new...
Norm Friesen
IJSIR
2010
161views more  IJSIR 2010»
13 years 5 months ago
Bacterial Foraging Optimization
Bacterial foraging optimization algorithm (BFOA) has been widely accepted as a global optimization algorithm of current interest for distributed optimization and control. BFOA is i...
Kevin M. Passino
ICMCS
2007
IEEE
162views Multimedia» more  ICMCS 2007»
13 years 12 months ago
User-Assisted People Search in Consumer Image Collections
In this paper, we investigate the process of searching for images of specified people in the consumer family photo domain. This domain is very different from the controlled enviro...
Andrew C. Gallagher, Madirakshi Das, Alexander C. ...
CVPR
2011
IEEE
13 years 4 months ago
High-quality shape from multi-view stereo and shading under general illumination
Multi-view stereo methods reconstruct 3D geometry from images well for sufficiently textured scenes, but often fail to recover high-frequency surface detail, particularly for smo...
Chenglei Wu, Bennett Wilburn, Yasuyuki Matsushita,...
« Prev « First page 1594 / 1732 Last » Next »