|
|
|
|
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: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")