745 search results - page 105 / 149 » The origins of combinatorics on words |
101
click to vote
JUCS
2006
14 years 10 months ago
2006
Abstract: We present a novel approach to the verification of functional-logic programs. For our verification purposes, equational reasoning is not valid due to the presence of non-...
KES
2006
Springer
14 years 10 months ago
2006
Springer
The correct web site text content must be help to the visitors to find what they are looking for. However, the reality is quite different, many times the web page text content is a...
70
Voted
SIAMAM
2008
14 years 10 months ago
2008
Abstract. We present numerical solutions of a two-dimensional Riemann problem for the compressible Euler equations that describes the Mach reflection of weak shock waves. High reso...
72
Voted
PRL
2006
14 years 10 months ago
2006
To recover depth from images, the human visual system uses many monocular depth cues, which vision research has only begun to explore. Because a given image can have many possible...
SIAMJO
2008
14 years 10 months ago
2008
In this paper, we consider the Lagrangian dual problem of a class of convex optimization problems. We first discuss the semismoothness of the Lagrangian-dual function . This prope...