8669 search results - page 1277 / 1734 » Computing matrix representations |
136
click to vote
STTT
2008
15 years 4 months ago
2008
Abstract. Fast is a tool for the analysis of systems manipulating unbounded integer variables. We check safety properties by computing the reachability set of the system under stud...
132
click to vote
ISCI
2007
15 years 4 months ago
2007
Fuzziness (entropy) is a commonly used measure of uncertainty for type-1 fuzzy sets. For interval type-2 fuzzy sets (IT2 FSs), centroid, cardinality, fuzziness, variance and skewn...
137
Voted
JCC
2007
15 years 4 months ago
2007
: This essay provides a perspective on several issues in valence bond theory: the physical significance of semilocal bonding orbitals, the capability of valence bond concepts to e...
136
Voted
TOG
2008
15 years 4 months ago
2008
We describe a unified representation of occluders in light transport and photography using shield fields: the 4D attenuation function which acts on any light field incident on an ...
124
Voted
CGF
2005
15 years 4 months ago
2005
Semanticons can enhance the representation of files by offering symbols that are both meaningful and easily distinguishable. The semantics of a file is estimated by parsing its na...