|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 16 publication records. Showing 16 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Siddharth Srivastava |
Foundations and applications of generalized planning.  |
AI Commun.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
A new representation and associated algorithms for generalized planning. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein, Tianjiao Zhang |
Directed Search for Generalized Plans Using Classical Planners. |
ICAPS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
Termination and Correctness Analysis of Cyclic Control. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Shlomo Zilberstein, Neil Immerman, Hector Geffner |
Qualitative Numeric Planning. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
Computing Applicability Conditions for Plans with Loops. |
ICAPS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
Merging example plans into generalized plans for non-deterministic environments. |
AAMAS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Mooly Sagiv, Siddharth Srivastava, Greta Yorsh |
Simulating reachability using first-order logic with applications to verification of linked data structures |
Logical Methods in Computer Science |
2009 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
Abstract Planning with Unknown Object Quantities and Properties. |
SARA |
2009 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
Using Abstraction for Generalized Planning. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Neil Immerman, Shlomo Zilberstein |
Learning Generalized Plans Using Abstract Counting. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Tal Lev-Ami, Neil Immerman, Thomas W. Reps, Shmuel Sagiv, Siddharth Srivastava, Greta Yorsh |
Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures. |
CADE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Srivastava, Frederik Maes, Dirk Vandermeulen, Wim Van Paesschen, Patrick Dupont, Paul Suetens |
Effects of Anatomical Asymmetry in Spatial Priors on Model-Based Segmentation of the Brain MRI: A Validation Study. |
MICCAI |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Srivastava, Dirk Vandermeulen, Frederik Maes, Paul Suetens, Wim Van Paesschen, Patrick Dupont |
Feature Based Statistical Analysis of Structural MR Data for Automatic Detection of Focal Cortical Dysplastic (FCD) Lesions. |
ISBI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Siddharth Srivastava, Frederik Maes, Dirk Vandermeulen, Patrick Dupont, Wim Van Paesschen, Paul Suetens |
An Automated 3D Algorithm for Neo-cortical Thickness Measurement. |
MICCAI |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddharth Srivastava, Koen Van Leemput, Frederik Maes, Dirk Vandermeulen, Paul Suetens |
Validation of Nonlinear Spatial Filtering to Improve Tissue Segmentation of MR Brain Images. |
MICCAI |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #16 of 16 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")