1567 search results - page 64 / 314 » A Mechanized Model of the Theory of Objects |
124
click to vote
IJAC
2010
14 years 10 months ago
2010
Title of dissertation: MODEL THEORY AND COMPLEXITY THEORY Walid Gomaa Doctor of Philosophy, 2007 Dissertation directed by: Professor William Gasarch Department of Computer Science...
114
click to vote
EUROCAST
2005
Springer
15 years 7 months ago
2005
Springer
abstract NP-hard optimization problem, in a general sense. From the observation that, intuitively, there are many connections among categorical concepts and structural complexity n...
136
Voted
ER
1999
Springer
15 years 5 months ago
1999
Springer
Video data management (VDM) is fast becoming one of seminar topics in multimedia information systems. In VDM systems, there exists an important need for novel techniques and mechan...
112
click to vote
ICIP
1998
IEEE
16 years 3 months ago
1998
IEEE
In this paper, we proposed a neural network based scheme for performing unsupervised video object segmentation, especially for videophone or videoconferencing applications. The pr...
108
click to vote
ICDT
1997
ACM
15 years 5 months ago
1997
ACM
Abstract Method invocation mechanism is one of the essential features in objectoriented programming languages. This mechanism contributes to data encapsulation and code reuse, but ...