Sciweavers

5387 search results - page 548 / 1078
» Generating generic functions
Sort
View
CHI
2002
ACM
16 years 7 months ago
Physiological computing
This paper is concerned with how Physiological Computing (PC) and Brain-Computer Interfaces (BCI) may be used to enhance computer games. It is argued that PC offers a greater rang...
Jennifer Allanson, Gillian M. Wilson
ICALP
2009
Springer
16 years 7 months ago
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
Naoki Kobayashi, C.-H. Luke Ong
ICASSP
2009
IEEE
16 years 1 months ago
Reconstruction of isometrically deformable flat surfaces in 3D from multiple camera images
This paper deals with the reconstruction of smooth, flexible, isometrically embedded flat surfaces in 3D, such as a sheet of paper or a flag waving in the wind, from a set of 2...
Ricardo Ferreira, João Xavier, João ...
PSIVT
2009
Springer
149views Multimedia» more  PSIVT 2009»
16 years 1 months ago
Image Inpainting Considering Brightness Change and Spatial Locality of Textures and Its Evaluation
Image inpainting techniques have been widely investigated to remove undesired objects in an image. Conventionally, missing parts in an image are completed by optimizing the objecti...
Norihiko Kawai, Tomokazu Sato, Naokazu Yokoya
CEC
2008
IEEE
16 years 1 months ago
A contour method in population-based stochastic algorithms
—Inspired by the contours in topography, this paper proposes a contour method for the population-based stochastic algorithms to solve the problems with continuous variables. Rely...
Ying Lin, Jun Zhang, Lu-kai Lan