Sciweavers

5084 search results - page 784 / 1017
» Proving Possibility Properties
Sort
View
RE
2004
Springer
15 years 12 months ago
Goal-Oriented Requirements Animation
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
Hung Tran Van, Axel van Lamsweerde, Philippe Masso...
ECCV
2010
Springer
15 years 12 months ago
Graph Cut based Inference with Co-occurrence Statistics
Abstract. Markov and Conditional random fields (CRFs) used in computer vision typically model only local interactions between variables, as this is computationally tractable. In t...
CEC
2003
IEEE
15 years 12 months ago
Stochastic neural network models for gene regulatory networks
AbstractRecent advances in gene-expression profiling technologies provide large amounts of gene expression data. This raises the possibility for a functional understanding of geno...
Tianhai Tian, Kevin Burrage
HICSS
2003
IEEE
101views Biometrics» more  HICSS 2003»
15 years 12 months ago
System Architecture for Cross Border Payment A Case Study for the Financial Services Industry
The financial services industry is changing rapidly as a result of advances in information technology (IT), telecommunications and the Internet. Technological innovations and incr...
Nadia Ayad, Alexander Verbraeck
ICCV
2003
IEEE
15 years 12 months ago
Eye Gaze Estimation from a Single Image of One Eye
In this paper, we present a novel approach, called the “one-circle” algorithm, for measuring the eye gaze using a monocular image that zooms in on only one eye of a person. Ob...
Jian-Gang Wang, Eric Sung, Ronda Venkateswarlu