Find:
Searching for PHRASE el sayed ibrahim.
Restrict to:   Header   Title   Order by:   Expected citations   Hubs   Usage   Date   Try:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP
No documents match Boolean query. Trying non-Boolean relevance query.
500 documents found. Only retrieving 250 documents (System busy - maximum reduced). Order: relevance to query.

Robust Hedging via Coupling - Hobson (1997)   (Correct)   (2 citations)
of this paper are not new and can be found in El Karoui et al [7]Theorem 3.1 can be traced back to
If h has bounded derivative on [0 1]and bound C say, then it is clear that h(0) Gamma CP t v(P t

www.bath.ac.uk/~masdgh/Papers/fincoupling.ps.gz

Eliminating the Shortcomings of Free Datatype Definitions - Missura (1995)   (Correct)
fur Theoretische Informatik Stephan A. Missura Eliminating the Shortcomings of Free Datatype
with a similar construct could have been used, say Haskell or the Calculus of Inductive

ftp.inf.ethz.ch//pub/publications/tech-reports/2xx/242.ps.gz

Emotionally Expressive Agents - El-Nasr, Ioerger, Yen, House, Parke (1999)   (Correct)
Emotionally Expressive Agents Magy Seif El-Nasr Thomas R. Ioerger, John Yen Department of
vegetables)taking the objects from the baby, and saying certain phrases to the baby (e.g.Good Baby,

www.cs.tamu.edu/faculty/ioerger/ca99-final.ps

Exotica/FMQM: A Persistent Message-Based.. - Alonso, Mohan.. (1995)   (Correct)   (9 citations)
D. Agrawal, A. El Abbadi Computer Science Department, UC Santa
www.almaden.ibm.com/cs/exotica/exotica_distributed_workflow_ifipwc95.ps

MDBS: A Modeling and Database System to Support.. - Smith, Su, Agrawal..   (Correct)
R. Smith, Jianwen Su, Divyakant Agrawal, and Amr El Abbadi 2 Department of Computer Science,
www.cs.ucsb.edu/TRs/techreports/TRCS93-15.ps

Optimized Encodings of Fragments of Type Theory in First Order.. - Tammet, Smith (1994)   (Correct)   (1 citation)
of sets by Set. Given a set A we may form the type El(A) of its elements hence we have the rule A 2
of A i and B is or contains a function type. We say that a judgement belongs to the judgement fragment

www.cs.chalmers.se/~tammet/autolncs.ps

Using Genetic Algorithms for Robot Motion Planning - Ahuactzin, Talbi, Bessiere.. (1992)   (Correct)   (19 citations)
Robot Motion Planning Juan Manuel Ahuactzin(i) El-Ghazali Talbi(ii) Pierre Bessiere(ii)
ftp.inrialpes.fr/pub/INRIA/projets/SHARP/publications/ahuactzin:etal:jrg:91.ps.gz

SSP Chains: Robust, Distributed References Supporting.. - Shapiro, Dickman.. (1992)   (Correct)   (14 citations)
# a travers une cha #ne de PSS ef e#et, chaque #el# ementd el ac ha #ne contient l'adresse de l'el#
or discarded. The Presentation Protocol says how to marshall a reference into, and unmarshall

www.fcul.research.ec.org/broadcast/trs/./papers/01.ps

Consistent Treatment of Propagator Modifications in Elastic.. - Chinn Ch   (Correct)
Consistent Treatment of Propagator Modifications in Elastic Nucleon-Nucleus Scattering within the
preprints.cern.ch/archive/electronic/nucl-th/9503/9503027.ps.gz

Competitive Analysis of Financial Games - El-Yaniv, Fiat, Karp, Turpin (1992)   (Correct)   (4 citations)
Competitive Analysis of Financial Games R. El-Yaniv University of Toronto A. Fiat Tel-Aviv
bound on possible exchange rates is underestimated. Say M 0 cM is the true upper bound where c ?1.

ftp.icsi.berkeley.edu/pub/techreports/1992/tr-92-064.ps.gz

The Reliability of ISO/IEC PDTR 15504 Assessments - Simon, Emam, ROUSSEAU.. (1997)   (Correct)
PDTR 15504 Assessments Jean-Martin SIMON Khaled El EMAM Sonia ROUSSEAU 1) Eric JACQUET 2)
www.iese.fhg.de/ISERN/pub/technical_reports/isern-97-28.ps.gz

Modeling Mechatronic Systems Using The Sidops+ Language - Breunese (1997)   (Correct)   (1 citation)
and J.F. Broenink Control Laboratory, Department of Electrical Engineering University of Twente Enschede,
www.rt.el.utwente.nl/bnk/papers/icbgm97w.ps

Numerical Treatment of a Shape Optimization Problem in .. - Sprekels, Goldberg..   (Correct)
problem connected with the thermal deformation of elastic bodies is considered. Based on a finite
www.tu-chemnitz.de/~troeltz/./arbeiten/shape.ps

Real Time Correlation-Based Stereo: Algorithm.. - Faugeras, Hotz.. (1996)   (Correct)   (13 citations)
planetary rover for the construction of Digital Elevation Maps. We have shown that real time stereo is
pam.devinci.fr/pub/doc/INRIA/RR2013.ps.Z

Uncertainty Representation Explains and Helps.. - Koshelev.. (1998)   (Correct)
and Bernadette Bouchon-Meunier 4 1 1003 Robinson, El Paso, TX 79902, USA, email mkosh@cs.utep.edu 2
and p to q is called a deduction therefore, we can say that on each level, we have a set of statements

cs.utep.edu/vladik/1998/tr98-22.ps

A Comparison and Integration of Capture-Recapture Models.. - Briand, Emam, Freimut (1998)   (Correct)   (3 citations)
Report ISERN-98-11 Lionel C. Briand, Khaled El Emam, Bernd G. Freimut Fraunhofer Institute for
www.iese.fhg.de/ISERN/pub/technical_reports/isern-98-11.ps.gz

Parallel implementation of recursive spectral bisection on the .. - Zdenek Johan (1994)   (Correct)   (2 citations)
array idual of dimension n faces \Theta n el which contains the list of elements sharing a face
das-ftp.harvard.edu/techreports/tr-07-94.ps.gz

A Multi-ASIC Real-Time Implementation of the Two.. - Bentum, Samsom, Slump (1994)   (Correct)
Cornelis H. Slump University of Twente Department of Electrical Engineering Laboratory for Network Theory
utelnt.el.utwente.nl/publications/../research/vlsi/vlsi92.ps.gz

On the Formal Specification of Discrete Event Simulation.. - Freund, Zerbe, Schorcht   (Correct)
operator ffl j S j denotes the number of elements in set S ffl *is the Kleene operator on
www-sst.theoinf.tu-ilmenau.de/pub/papers/tp_1_97.ps.gz

A General Semantics for Evaluation Logic - Eugenio Moggi (1994)   (Correct)   (4 citations)
of Modal Logics. Introduction Evaluation logic EL T is a typed predicate logic (see [CP92, Pit91]
Given indexed posets P 1 P 2 :C op PoSet, we say that 2 is a modality from P 1 to P 2 (2: P 1 !P

www.di.uminho.pt/ftp/pub/DI/Fundamentos/Papers/mirror-ImperialCollege/AbramskyS/clics/clics.moggi.elt2.ps.gz

First 20 documents  Next 20

Try your query at:   Google (CiteSeer)   Google (Web)   Yahoo!   MSN   CSB   DBLP

CiteSeer.IST - Copyright Penn State and NEC