| Ditemukan 48 dokumen dengan kata kunci 4347 |
Simpan CSV  |
|
Efficient parallel CKY parsing using GPUs
|
| Pengarang: Youngmin Yi, Chao-Yue Lai, and Slav Petrov | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 375-393 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Tree parsing for tree-adjoining machine translation
|
| Pengarang: Matthias Büchse, Heiko Vogler, and Mark-Jan Nederhof | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 351-373 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Parallel SAT Solving in Bounded Model Checking
|
| Pengarang: Erika Ábrahám, Tobias Schubert, Bernd Becker, Martin Fränzle, dll | No. Panggil: Journal of Logic and Computation February 2011, 21 (3), p. 5-21 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
A word clustering approach to domain adaptation: Robust parsing of source and target domains
|
| Pengarang: Djamé Seddah, Marie Candito, and Enrique Henestroza Anguiano | No. Panggil: Journal of Logic and Computation April 2014, 24 (2), p. 395-411 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator
|
| Pengarang: Mario R. F. Benevides and L. Menasché Schechter | No. Panggil: Journal of Logic and Computation August 2014; 24 (4), p. 919-951) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Using Accounting Information Exercises I
|
|
|
|
Experimental Analysis of Graph-based Answer Set Computation over Parallel and Distributed Architectures
|
| Pengarang: Giuliano Grossi, Massimo Marchi, Enrico Pontelli, and Alessandro Provetti | No. Panggil: Journal of Logic and Computation August 2009, 19 (4), p. 697-715 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Model Checking Using Description Logic
|
| Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Unsupervised gene function extraction using semantic vectors
|
| Pengarang: Ehsan Emadzadeh, Azadeh Nikfarjam, Rachel E. Ginn, and Graciela Gonzalez | No. Panggil: Database (Volume 2014, p. bau084) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
|
Linking tissues to phenotypes using gene expression profiles
|
| Pengarang: Anika Oellrich, Sanger Mouse Genetics Project, and Damian Smedley | No. Panggil: Database (Volume 2014, p.bau017) |
|
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hasil Pencarian
