Travelled to:1 × Australia
1 × Canada
1 × Portugal
1 × Spain
1 × Sweden
1 × United Kingdom
5 × USA
Collaborated with:T.Sato ∅ P.Raghavan Q.Gu P.K.Agarwal A.R.Karlin G.Nelson C.H.Papadimitriou S.Vempala T.Asano N.Katoh T.Tokuyama N.H.Bshouty S.A.Goldman H.D.Mathias S.Suri
Talks about:program (3) logic (3) languag (2) general (2) semant (2) toler (2) time (2) probabilist (1) decomposit (1) transform (1)
Person: Hisao Tamaki
DBLP: Tamaki:Hisao
Contributed to:
2005
1998
1997199619951994
19871986198419841983Wrote 11 papers:
- ICALP-2005-GuT #graph
- Optimal Branch-Decomposition of Planar Graphs in O(n3) Time (QPG, HT), pp. 373–384.
- PODS-1998-PapadimitriouRTV #analysis #probability #semantics
- Latent Semantic Indexing: A Probabilistic Analysis (CHP, PR, HT, SV), pp. 159–168.
- STOC-1997-AsanoKTT #approximate #polynomial #towards
- Covering Points in the Plane by k-Tours: Towards a Polynomial Time Approximation Scheme for General k (TA, NK, HT, TT), pp. 275–283.
- STOC-1996-BshoutyGMST #concept #geometry #learning
- Noise-Tolerant Distribution-Free Learning of General Geometric Concepts (NHB, SAG, HDM, SS, HT), pp. 151–160.
- STOC-1995-AgarwalRT
- Motion planning for a steering-constrained robot through moderate obstacles (PKA, PR, HT), pp. 343–352.
- STOC-1994-KarlinNT #fault tolerance #on the
- On the fault tolerance of the butterfly (ARK, GN, HT), pp. 125–133.
- ICLP-1987-Tamaki87 #compilation #prolog
- Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages (HT), pp. 376–393.
- ICLP-1986-TamakiS86
- OLD Resolution with Tabulation (HT, TS), pp. 84–98.
- ILPC-1984-TamakiS84 #logic programming #source code
- Unfold/Fold Transformation of Logic Programs (HT, TS), pp. 127–138.
- SLP-1984-Tamaki84 #logic programming #programming language #semantics
- Semantics of a Logic Programming Language with a Reducibility Predicate (HT), pp. 259–264.
- ICALP-1983-SatoT #logic programming #source code
- Enumeration of Success Patterns in Logic Programs (TS, HT), pp. 640–652.