Sciweavers

378 search results - page 67 / 76
» Convergence of rank-type equations
Sort
View
ENTCS
2006
113views more  ENTCS 2006»
14 years 9 months ago
Mining Propositional Simplification Proofs for Small Validating Clauses
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
Ian Wehrman, Aaron Stump
JSAC
2006
81views more  JSAC 2006»
14 years 9 months ago
Fast linearized energy allocation for multimedia loading on multicarrier systems
Abstract--Efficient near-optimal energy allocation for multimedia data transmission using multicarrier modulation is investigated. The optimal method typically relies on an iterati...
Michael A. Enright, C. C. Jay Kuo
JSCIC
2007
85views more  JSCIC 2007»
14 years 9 months ago
On Boundary Condition Capturing for Multiphase Interfaces
This paper begins with an overview of the boundary condition capturing approach to solving problems with interfaces. Although, the authors’ original motivation was to extend the...
Jeong-Mo Hong, Tamar Shinar, Myungjoo Kang, Ronald...
ROBOTICA
2002
112views more  ROBOTICA 2002»
14 years 9 months ago
Adaptation of Lowe's camera pose recovery algorithm to mobile robot self-localisation
: This paper presents an adaptation of Lowe's numerical model-based camera localisation algorithm to the domain of indoor mobile robotics. While the original method is straigh...
Omar Ait-Aider, Philippe Hoppenot, Etienne Colle
SIGCSE
2002
ACM
114views Education» more  SIGCSE 2002»
14 years 9 months ago
Gender and information technology: implications of definitions
In this paper, we examine implications of definitions of information technology to women's participation in the industry and in academe. This paper is exploratory only, based...
Wendy L. Cukier, Denise Shortt, Irene Devine