Sciweavers

4303 search results - page 21 / 861
» Are We There Yet
Sort
View
LPAR
2010
Springer
13 years 5 months ago
Program Logics for Homogeneous Meta-programming
Abstract. A meta-program is a program that generates or manipulates another program; in homogeneous meta-programming, a program may generate new parts of, or manipulate, itself. Me...
Martin Berger, Laurence Tratt
AAIM
2006
Springer
97views Algorithms» more  AAIM 2006»
14 years 1 months ago
Note on an Auction Procedure for a Matching Game in Polynomial Time
Abstract. We derive a polynomial time algorithm to compute a stable solution in a mixed matching market from an auction procedure as presented by Eriksson and Karlander [5]. As a s...
Winfried Hochstättler, Hui Jin 0002, Robert N...
MVA
1998
119views Computer Vision» more  MVA 1998»
13 years 8 months ago
Integrated Techniques for Self-Organisation, Sampling, Habituation, and Motion-Tracking in Visual Robotics Applications
We summarise several techniques in use in our visual robotics research. Our aim is to develop robots that are thoroughly autonomous and adaptable. We describe a system that is ind...
Mark W. Peters, Arcot Sowmya
MP
2008
82views more  MP 2008»
13 years 7 months ago
Newton's iterates can converge to non-stationary points
Abstract In this note we discuss the convergence of Newton's method for minimization. We present examples in which the Newton iterates satisfy the Wolfe conditions and the Hes...
Walter F. Mascarenhas
DCC
2006
IEEE
14 years 7 months ago
Low-Complexity Compression of Short Messages
We describe a low-complexity scheme for lossless compression of short text messages. The method uses arithmetic coding and a specific statistical context model for prediction of s...
Stephan Rein, Clemens Gühmann, Frank H. P. Fi...