59 search results - page 7 / 12 » Parametric Representations of Boolean Constraints |
ICIP
1995
IEEE
16 years 1 months ago
1995
IEEE
Receiver operating characteristics (ROC) curves have the property that they start at (0,l) and end at (1,O) and are monotonically decreasing. Furthermore, a parametric representat...
109
click to vote
ATVA
2006
Springer
15 years 3 months ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
SIGGRAPH
1995
ACM
15 years 3 months ago
1995
ACM
We present a surface representation and a set of algorithms that allow interactive placement of curved parametric objects without interpenetration. Using these algorithms, a model...
KES
1999
Springer
15 years 4 months ago
1999
Springer
A shape specification system based on fuzzy logic is proposed, which aims to facilitate designers in conceptual design stage by allowing them to specify and work with rough models...
AAAI
2004
15 years 1 months ago
2004
We introduce a novel intelligent system which can generate new Chinese calligraphic artwork that meets certain aesthetic requirements automatically. In the machine learning phase,...