BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tamaki:Hisao

Contributed to:

ICALP 20052005
PODS 19981998
STOC 19971997
STOC 19961996
STOC 19951995
STOC 19941994
ICLP 19871987
ICLP 19861986
ILPC 19841984
SLP 19841984
ICALP 19831983

Wrote 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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.