Sciweavers

1996 search results - page 202 / 400
» Financial Theory 2
Sort
View
WSC
1996
15 years 7 months ago
Simulation for computer science majors: a preliminary report
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
Ruth Silverman
SODA
1992
ACM
109views Algorithms» more  SODA 1992»
15 years 7 months ago
New Algorithms for Minimum Area k-gons
Given a set P of n points in the plane, we wish to find a set Q P of k points for which the convex hull conv(Q) has the minimum area. We solve this, and the related problem of fi...
David Eppstein
WCE
2007
15 years 7 months ago
Reconstruction of 3D Solid Models Using Fuzzy Logic Recognition
—This paper presents an application of fuzzy logic theory to the reconstruction of solid models from engineering drawings. In engineering drawing, two-dimensional (2D) orthograph...
Zhe Wang, Mohammed Latif
AAAI
2008
15 years 7 months ago
Computer-Aided Proofs of Arrow's and Other Impossibility Theorems
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...
Fangzhen Lin, Pingzhong Tang
ATVA
2010
Springer
135views Hardware» more  ATVA 2010»
15 years 7 months ago
Probabilistic Contracts for Component-Based Design
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
Dana N. Xu, Gregor Gößler, Alain Giraul...