2687 search results - page 366 / 538 » On the Conversion between Number Systems |
157
click to vote
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
We discuss the computational complexity of random 2D Ising spin glasses, which represent an interesting class of constraint satisfaction problems for black box optimization. Two ex...
167
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
As the use of Semantic Web ontologies continues to expand there is a growing need for tools that can validate ontological consistency and provide guidance in the correction of dete...
152
click to vote
IDMS
1998
Springer
15 years 10 months ago
1998
Springer
This paper describes IBCOW Image-based Classi cation of Objectionable Websites, a system capable of classifying a website as objectionable or benign based on image content. The sys...
185
click to vote
ECCV
1994
Springer
15 years 10 months ago
1994
Springer
This paper describes a new approach to the integration and control of continuously operating visual processes. Visual processes are expressed as transformations which map signals ...
175
click to vote
ICCD
1995
IEEE
15 years 10 months ago
1995
IEEE
Symbolic model checking is a successful technique for checking properties of large finite-state systems. This method has been used to verify a number of real-world hardware desig...