sign in · help · news · about ·

BibSonomy :: author :: Harel ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(441)

<< < 1 | 2 | 3 > >>

Improving Accuracy of GNSS Devices in Urban Canyons.
Boaz Ben-Moshe, Elazar Elkin, Harel Levi, and Ayal Weissman CCCG, (2011)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
Classification of underwater mammals using feature extraction based on time-frequency analysis and BCM theory.
Q. Q. Huynh, Leon N. Cooper, Nathan Intrator, and Harel Z. Shouval IEEE Transactions on Signal Processing 46(5):1202-1207 (1998)
to dblp by dblp on Jan 29, 2012, 12:00 AM
URL | BibTeX
On the Power of Bounded Concurrency I: Finite Automata.
Doron Drusinsky, and David Harel J. ACM 41(3):517-539 (1994)
to dblp by dblp on Jan 26, 2012, 12:00 AM
URL | BibTeX
On the Power of Bounded Concurrency~III: Reasoning About Programs Preliminary Report
David Harel, Roni Rosner, and Moshe Y. Vardi LICS, page 478-488. IEEE Computer Society, (1990)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Explicit Clock Temporal Logic
Eyal Harel, Orna Lichtenstein, and Amir Pnueli LICS, page 402-413. IEEE Computer Society, (1990)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
More About Recursive Structures: Descriptive Complexity and Zero-One Laws.
Tirza Hirst, and David Harel LICS, page 334-347. IEEE Computer Society, (1996)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
ACE: A Fast Multiscale Eigenvectors Computation for Drawing Huge Graphs.
Yehuda Koren, Liran Carmel, and David Harel INFOVIS, page 137-144. IEEE Computer Society, (2002)
to dblp by dblp and 1 other user on Jan 3, 2012, 12:00 AM
URL | BibTeX
Adaptive Behavioral Programming.
Nir Eitan, and David Harel ICTAI, page 685-692. IEEE, (2011)
to dblp by dblp on Dec 28, 2011, 12:00 AM
URL | BibTeX
Learning from Multiple Outlooks.
Maayan Harel, and Shie Mannor ICML, page 401-408. Omnipress, (2011)
to dblp by dblp on Dec 16, 2011, 12:00 AM
URL | BibTeX
Distributed Fault Identification via Non-parametric Belief Propagation
Danny Bickson, Harel Avissar, Danny Dolev, Stephen P. Boyd, Alexander T. Ihler, and Dror Baron CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Self-stabilizing Numerical Iterative Computation
Danny Bickson, Ezra N. Hoch, Harel Avissar, and Danny Dolev CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Horn Clauses Queries and Generalizations.
Ashok K. Chandra, and David Harel J. Log. Program. 2(1):1-15 (1985)
to dblp by dblp and 1 other user on Dec 1, 2011, 12:00 AM
URL | BibTeX
Visual Formalisms.
David Harel, and Shahar Maoz Encyclopedia of Database Systems, Springer US, (2009)
to dblp by dblp on Nov 25, 2011, 12:00 AM
URL | BibTeX
Image Signature: Highlighting Sparse Salient Regions.
Xiaodi Hou, Jonathan Harel, and Christof Koch IEEE Trans. Pattern Anal. Mach. Intell. 34(1):194-201 (2012)
to dblp by dblp on Nov 24, 2011, 12:00 AM
URL | BibTeX
Receptive Field Formation in Natural Scene Environments: Comparison of Single Cell Learning Rules.
Brian S. Blais, Nathan Intrator, Harel Z. Shouval, and Leon N. Cooper Neural Computation 10(7):1797-1813 (1998)
to dblp by dblp on Nov 17, 2011, 12:00 AM
URL | BibTeX
Formation of Direction Selectivity in Natural Scene Environments.
Brian S. Blais, Leon N. Cooper, and Harel Z. Shouval Neural Computation 12(5):1057-1066 (2000)
to dblp by dblp and 2 other users on Nov 17, 2011, 12:00 AM
URL | BibTeX
On Object Systems and Behavioral Inheritance.
David Harel, and Orna Kupferman IEEE Trans. Software Eng. 28(9):889-903 (2002)
to dblp by dblp and 1 other user on Nov 7, 2011, 12:00 AM
URL | BibTeX
STATEMATE: A Working Environment for the Development of Complex Reactive Systems.
David Harel, Hagi Lachover, Amnon Naamad, Amir Pnueli, Michal Politi, Rivi Sherman, Aharon Shtull-Trauring, and Mark B. Trakhtenbrot IEEE Trans. Software Eng. 16(4):403-414 (1990)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
On Teaching Visual Formalisms.
David Harel, and Michal Gordon-Kiwkowitz IEEE Software 26(3):87-95 (2009)
to dblp by dblp and 1 other user on Nov 7, 2011, 12:00 AM
URL | BibTeX
Gradient-Based 2D/3D Rigid Registration of Fluoroscopic X-ray to CT.
Harel Livyatan, Ziv Yaniv, and Leo Joskowicz IEEE Trans. Med. Imaging 22(11):1395-1406 (2003)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100