Sciweavers

20878 search results - page 3616 / 4176
» Database
Sort
View
ISMVL
2000
IEEE
134views Hardware» more  ISMVL 2000»
15 years 11 months ago
The 2-SAT Problem of Regular Signed CNF Formulas
Signed conjunctive normal form (signed CNF) is a classical conjunctive clause form using a generalized notion of literal, called signed atom. A signed atom is an expression of the...
Bernhard Beckert, Reiner Hähnle, Felip Many&a...
MSE
2000
IEEE
174views Hardware» more  MSE 2000»
15 years 11 months ago
Integrating a Digital Camera in the Home Environment: Architecture and Prototype
Electronic photography is gaining parts of the photography market and tends to replace gradually all argentic photography. The combination of digital camera and computer technolog...
Nadia Bennani
SCCC
2000
IEEE
15 years 11 months ago
A Genetic Classifier Tool
Knowledge discovery is the most desirable end product of an enterprise information system. Researches from different areas recognize that a new generation of intelligent tools for...
Aurora T. R. Pozo, Mozart Hasse
SSIAI
2000
IEEE
15 years 11 months ago
Lower-Level and Higher-Level Approaches to Content-Based Image Retrieval
This paper describes a content-based image retrieval system that employs both higher-level and lower-level vision methodologies separately and in conjunction for the retrieval of ...
Qasim Iqbal, Jake K. Aggarwal
VL
2000
IEEE
140views Visual Languages» more  VL 2000»
15 years 11 months ago
Tabular and Textual Methods for Selecting Objects from a Group
The accurate formulation of boolean expressions is a notorious problem in programming languages and database query tools. This paper studies the ways that untrained users naturall...
John F. Pane, Brad A. Myers
« Prev « First page 3616 / 4176 Last » Next »