|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 8 keywords
|
|
|
|
|
Results
Found 19 publication records. Showing 19 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hyeonseung Im, Sungwoo Park |
Group skyline computation.  |
Inf. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Hyeonseung Im |
A modal logic internalizing normal proofs.  |
Inf. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeonseung Im, Jonghyun Park, Sungwoo Park |
Parallel skyline computation on multicore architectures.  |
Inf. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Hyeonseung Im |
A calculus for hardware description.  |
J. Funct. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyeonseung Im, Keiko Nakata, Jacques Garrigue, Sungwoo Park |
A syntactic type system for recursive modules.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Dianne P. O'Leary |
Portfolio Selection Using Tikhonov Filtering to Estimate the Covariance Matrix.  |
SIAM J. Financial Math.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Hyeonseung Im |
Type-safe higher-order channels with channel locality.  |
J. Funct. Program.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Taekyung Kim, Jonghyun Park, Jinha Kim, Hyeonseung Im |
Parallel Skyline Computation on Multicore Architectures.  |
ICDE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Seung-won Hwang |
A logical account of uncertain databases based on linear logic.  |
ICDT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Frank Pfenning, Sebastian Thrun |
A probabilistic language based on sampling functions.  |
ACM Trans. Program. Lang. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Probabilistic language, sampling function, robotics, probability distribution |
| 1 | Sungwoo Park, Jinha Kim, Hyeonseung Im |
Functional netlists.  |
ICFP  |
2008 |
DBLP DOI BibTeX RDF |
linear type system, functional language, hardware description language |
| 1 | Sungwoo Park |
Type-safe higher-order channels in ML-like languages.  |
ICFP  |
2007 |
DBLP DOI BibTeX RDF |
channel locality, distributed languages, higher-order channels, parallel languages |
| 1 | Sungwoo Park |
A Modal Language for the Safety of Mobile Values.  |
APLAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | JongSeob Baek, SungWoo Park, Jong-Soo Seo |
Novel Techniques to minimize the Error Propagation of Decision Feedback Equalizer in 8VSB DTV System.  |
VTC Spring  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Frank Pfenning, Sebastian Thrun |
A probabilistic language based upon sampling functions.  |
POPL  |
2005 |
DBLP DOI BibTeX RDF |
probabilistic language, sampling function, robotics, probability distribution |
| 1 | Kevin Donnelly, Tyler Gibson, Neel Krishnaswami, Stephen Magill, Sungwoo Park |
The Inverse Method for the Logic of Bunched Implications.  |
LPAR  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park, Hyundong Shin, Jae Hong Lee |
Capacity statistics and scheduling gain for MIMO systems in correlated Rayleigh fading.  |
VTC Fall  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Sungwoo Park |
A calculus for probabilistic languages.  |
TLDI  |
2003 |
DBLP DOI BibTeX RDF |
probabilistic calculus, probabilistic language, refinement type system |
| 1 | Sungwoo Park, Taisook Han |
Object-Oriented VRML for Multi-User Environments.  |
VRML  |
1997 |
DBLP DOI BibTeX RDF |
multicast mechanism, object orientation, VRML, multi-user environment |
Displaying result #1 - #19 of 19 (100 per page; Change: )
|
|