1863 search results - page 36 / 373 » Unifying Theories of Objects |
108
click to vote
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We unify virtual-method despatch (polymorphism implementation) and network packet-routing operations; virtual-method calls correspond to network packets, and network addresses are...
163
click to vote
FOCM
2008
15 years 4 months ago
2008
We consider the problem of finding a singularity of a differentiable vector field X defined on a complete Riemannian manifold. We prove a unified result for the existence and local...
132
click to vote
IJCINI
2007
15 years 4 months ago
2007
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...
158
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
This paper addresses the issue of query refinement, which involves reformulating ill-formed search queries in order to enhance relevance of search results. Query refinement typica...
140
click to vote
INFOCOM
2009
IEEE
15 years 10 months ago
2009
IEEE
: Given a logical topology and a physical topology , the survivable logical topology design problem in an IP-overWDM optical network is to map the logical links into lightpaths in ...