3040 search results - page 186 / 608 » Independent Natural Extension |
89
Voted
JAIR
2011
14 years 7 months ago
2011
We present a method for using standard techniques from satisfiability checking to automatically verify and discover theorems in an area of economic theory known as ranking sets o...
143
Voted
IPMI
2003
Springer
16 years 1 months ago
2003
Springer
Active Shape Models (ASM) have proven to be an effective approach for image segmentation. In some applications, however, the linear model of gray level appearance around a contour ...
121
Voted
ICDE
2010
IEEE
16 years 13 days ago
2010
IEEE
Abstract-- This paper introduces a deterministic approximation algorithm with error guarantees for computing the probability of propositional formulas over discrete random variable...
143
Voted
LAWEB
2009
IEEE
15 years 7 months ago
2009
IEEE
— A user interface description language (UIDL) consists of a specification language that describes various aspects of a user interface under development. A comparative review of ...
104
click to vote
ASIAMS
2007
IEEE
15 years 7 months ago
2007
IEEE
Simulation is perhaps the most cost-effective tool to evaluate the operation of a system under design. A flexible, easy to extend, fully object-oriented, and multilayered simulato...