Sciweavers

2651 search results - page 72 / 531
» Experiences with the Use of a Configuration Language
Sort
View

Source Code
441views
15 years 6 months ago
Octave
"GNU Octave is a high-level language, primarily intended for numerical computations. It provides a convenient command line interface for solving linear and nonlinear problems ...
IJCSA
2006
95views more  IJCSA 2006»
13 years 9 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
CP
2003
Springer
14 years 2 months ago
Using Constraints for Exploring Catalogs
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
François Laburthe, Yves Caseau
ICASSP
2009
IEEE
14 years 3 months ago
Automatic visual-only language identification: A preliminary study
We describe experiments in visual-only language identification, in which only lip-shape and lip-motion are used to determine the language of a spoken utterance. We focus on the t...
Jacob L. Newman, Stephen J. Cox
CVPR
2006
IEEE
14 years 11 months ago
Motion Estimation from Spheres
This paper addresses the problem of recovering epipolar geometry from spheres. Previous works have exploited epipolar tangencies induced by frontier points on the spheres for moti...
Guoqiang Zhang, Kwan-Yee Kenneth Wong