4047 search results - page 737 / 810 » Some Properties and Some Problems on Set Functors |
165
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...
149
click to vote
ICIP
1999
IEEE
16 years 6 months ago
1999
IEEE
In this paper, we present a scheme for embedding data in copies (color or monochrome) of predominantly text pages that may also contain color images or graphics. Embedding data im...
148
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Mobile social network is a typical social network where one or more individuals of similar interests or commonalities, conversing and connecting with one another using the mobile ...
170
click to vote
CADE
2009
Springer
16 years 5 months ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...
150
click to vote
FPGA
2010
ACM
16 years 1 months ago
2010
ACM
Guarded evaluation is a power reduction technique that involves identifying sub-circuits (within a larger circuit) whose inputs can be held constant (guarded) at specific times d...