Sciweavers

8669 search results - page 1254 / 1734
» Computing matrix representations
Sort
View
130
Voted
BIBE
2000
IEEE
15 years 9 months ago
Reconstructing Specimens using DIC Microscope Images
—Differential interference contrast (DIC) microscopy is a powerful visualization tool used to study live biological cells. Its use, however, has been limited to qualitative obser...
Farhana Kagalwala, Takeo Kanade
ICECCS
2000
IEEE
135views Hardware» more  ICECCS 2000»
15 years 9 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
137
Voted
ICPR
2000
IEEE
15 years 9 months ago
3-D Structures for Generic Object Recognition
We discuss the issues and challenges of generic object recognition. We argue that high-level, volumetric part-based descriptions are essential in the process of recognizing object...
Gérard G. Medioni, Alexandre R. J. Fran&cce...
ASIACRYPT
2000
Springer
15 years 9 months ago
A Note on Security Proofs in the Generic Model
A discrete-logarithm algorithm is called generic if it does not exploit the specific representation of the cyclic group for which it is supposed to compute discrete logarithms. Su...
Marc Fischlin
127
Voted
DEXA
2000
Springer
95views Database» more  DEXA 2000»
15 years 9 months ago
Formalizing Workflows Using the Event Calculus
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
Nihan Kesim Cicekli, Yakup Yildirim
« Prev « First page 1254 / 1734 Last » Next »