Sciweavers

MP
2007
75views more  MP 2007»
13 years 10 months ago
Solving maximum-entropy sampling problems using factored masks
We present a practical approach to Anstreicher and Lee’s masked spectral bound for maximum-entropy sampling, and we describe favorable results that we have obtained with a Branch...
Samuel Burer, Jon Lee
ICSQP
1994
14 years 3 days ago
Using Strongest Postconditions to Improve Software Quality
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
Si Pan, R. Geoff Dromey
FLAIRS
2001
14 years 5 days ago
A Practical Markov Chain Monte Carlo Approach to Decision Problems
Decisionand optimizationproblemsinvolvinggraphsarise in manyareas of artificial intelligence, including probabilistic networks, robot navigation, and network design. Manysuch prob...
Timothy Huang, Yuriy Nevmyvaka
IRAL
2003
ACM
14 years 4 months ago
A practical text summarizer by paragraph extraction for Thai
In this paper, we propose a practical approach for extracting the most relevant paragraphs from the original document to form a summary for Thai text. The idea of our approach is ...
Chuleerat Jaruskulchai, Canasai Kruengkrai
ECBS
2003
IEEE
146views Hardware» more  ECBS 2003»
14 years 4 months ago
Architecture-Based Design of Computer Based Systems
This paper presents a practical approach to architecture-based design of computer based systems. The approach is discussed in relation to other existing of performing discovery, a...
Mark Denford, Tim O'Neill, John Leaney
ICFEM
2004
Springer
14 years 4 months ago
Formal Proof from UML Models
Abstract. We present a practical approach to a formal analysis of UMLbased models. This is achieved by an underlying formal representation in Z, which allows us to pose and dischar...
Nuno Amálio, Susan Stepney, Fiona Polack
ACCV
2007
Springer
14 years 5 months ago
Detecting and Segmenting Un-occluded Items by Actively Casting Shadows
We present a simple and practical approach for segmenting un-occluded items in a scene by actively casting shadows. By ’items’, we refer to objects (or part of objects) enclose...
Tze Ki Koh, Amit K. Agrawal, Ramesh Raskar, Steve ...
CVPR
2003
IEEE
15 years 25 days ago
Methods and Geometry for Plane-Based Self-Calibration
Abstract. We consider the problem of camera selfcalibration, from images of a planar object with unknown Euclidean structure. The general case of possibly varying focal length is a...
Pierre Gurdjos, Peter Sturm