en
de
Local
OpenID
:
no help available
no help available
BibSonomy
author
tag
user
group
author
concept
BibTeX key
search:all
::
Paritosh
::
The blue social bookmark and publication sharing system.
sign in
home
groups
popular
posts
tags
authors
concepts
discussions
actions for all displayed bookmarks:
export:
RSS
,
BibTeX
,
XML
sort:
criterion:
date
,
title
order:
ascending
,
descending
others:
bookmarks per page:
5
10
20
50
100
bookmarks
actions for all displayed publications:
export:
RSS
,
BibTeX
,
RDF
,
more...
sort:
criterion:
date
,
title
order:
ascending
,
descending
advanced...
others:
publications per page:
5
10
20
50
100
publications
(79)
tags
dblp
database
tagging
semantic
tigecycline
Prototyping
sociology
methods
crowdsourcing
web2.0
Compilation
myown
TOREAD
Verification
KnowledgeBase
graph
formal
safety
Specification
toxicity
freebase
toread
No matching items.
Analysis of Strategic Knowledge in Back of the Envelope Reasoning.
Praveen K. Paritosh
, and
Kenneth D. Forbus
.
AAAI,
page 651-656.
AAAI Press / The MIT Press,
(
2005
)
Praveen K. Paritosh
, and
Kenneth D. Forbus
.
AAAI,
page 651-656.
AAAI Press / The MIT Press,
(
2005
)
5 months and 13 days ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Unary Fragments of Metric Interval Temporal Logic: Bounded versus Lower Bound Constraints.
Paritosh K. Pandya
, and
Simoni S. Shah
.
ATVA,
volume 7561 of Lecture Notes in Computer Science,
page 77-91.
Springer,
(
2012
)
Paritosh K. Pandya
, and
Simoni S. Shah
.
ATVA,
volume 7561 of Lecture Notes in Computer Science,
page 77-91.
Springer,
(
2012
)
7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Excess deaths associated with tigecycline after approval based on noninferiority trials.
Paritosh Prasad
,
Junfeng Sun
,
Robert L. Danner
, and
Charles Natanson
.
Clin Infect Dis
54(12):1699--1709
(
June 2012
)
Paritosh Prasad
,
Junfeng Sun
,
Robert L. Danner
, and
Charles Natanson
.
Clin Infect Dis
54(12):1699--1709
(
June 2012
)
9 months ago
by
aorchid
1
tigecycline
toxicity
safety
tigecycline
toxicity
safety
URL
DOI
TeX
Automated Analysis of Fluorescence Lifetime Imaging Microscopy FLIM Data Based on the Laguerre Deconvolution Method.
Paritosh Pande
, and
Javier A. Jo
.
IEEE Trans. Biomed. Engineering
58(1):172-181
(
2011
)
Paritosh Pande
, and
Javier A. Jo
.
IEEE Trans. Biomed. Engineering
58(1):172-181
(
2011
)
10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
In Vivo Simultaneous Morphological and Biochemical Optical Imaging of Oral Epithelial Cancer.
Javier A. Jo
,
Brian E. Applegate
,
Jesung Park
,
Sebina Shrestha
,
Paritosh Pande
,
Irma B. Gimenez-Conti
, and
Jimi L. Brandon
.
IEEE Trans. Biomed. Engineering
57(10):2596-2599
(
2010
)
Javier A. Jo
,
Brian E. Applegate
,
Jesung Park
,
Sebina Shrestha
,
Paritosh Pande
,
Irma B. Gimenez-Conti
, and
Jimi L. Brandon
.
IEEE Trans. Biomed. Engineering
57(10):2596-2599
(
2010
)
11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Freebase: a collaboratively created graph database for structuring human knowledge
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
a year and a month ago
by
mgns
5
tagging
semantic
database
tagging
semantic
database
URL
DOI
TeX
The anatomy of a large-scale human computation engine
Shailesh Kochhar
,
Stefano Mazzocchi
, and
Praveen Paritosh
.
Proceedings of the ACM SIGKDD Workshop on Human Computation,
page 10--17.
New York, NY, USA,
ACM,
(
2010
)
Shailesh Kochhar
,
Stefano Mazzocchi
, and
Praveen Paritosh
.
Proceedings of the ACM SIGKDD Workshop on Human Computation,
page 10--17.
New York, NY, USA,
ACM,
(
2010
)
a year and 2 months ago
by
mstrohm
1
TOREAD
crowdsourcing
sociology
TOREAD
crowdsourcing
sociology
URL
DOI
TeX
Finite Element Modelling of Pulsatile Blood Flow in Idealized Model of Human Aortic Arch: Study of Hypotension and Hypertension.
Paritosh Vasava
,
Payman Jalali
,
Mahsa Dabagh
, and
Pertti J. Kolari
.
Comp. Math. Methods in Medicine
(
2012
)
Paritosh Vasava
,
Payman Jalali
,
Mahsa Dabagh
, and
Pertti J. Kolari
.
Comp. Math. Methods in Medicine
(
2012
)
a year and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Generation of Test Cases for Hardware Design Verification of a Super-Scalar Fetch Processor.
Irith Pomeranz
,
Nirmal R. Saxena
,
Richard Reeve
,
Paritosh Kulkarni
, and
Yan A. Li
.
ITC,
page 904-913.
IEEE Computer Society,
(
1996
)
Irith Pomeranz
,
Nirmal R. Saxena
,
Richard Reeve
,
Paritosh Kulkarni
, and
Yan A. Li
.
ITC,
page 904-913.
IEEE Computer Society,
(
1996
)
a year and 3 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The computer is the new sewing machine: benefits and perils of crowdsourcing.
Praveen K. Paritosh
,
Panos Ipeirotis
,
Matt Cooper
, and
Siddharth Suri
.
WWW Companion Volume,
page 325-326.
ACM,
(
2011
)
Praveen K. Paritosh
,
Panos Ipeirotis
,
Matt Cooper
, and
Siddharth Suri
.
WWW Companion Volume,
page 325-326.
ACM,
(
2011
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A 16-bit 250-MS/s IF Sampling Pipelined ADC With Background Calibration.
Ahmed M. A. Ali
,
Andrew Morgan
,
Christopher Dillon
,
Greg Patterson
,
Scott Puckett
,
Paritosh Bhoraskar
,
Huseyin Dinc
,
Mike Hensley
,
Russell Stop
,
Scott Bardsley
,
David Lattimore
,
Jeff Bray
,
Carroll Speir
, and
Robert Sneed
.
J. Solid-State Circuits
45(12):2602-2612
(
2010
)
Ahmed M. A. Ali
,
Andrew Morgan
,
Christopher Dillon
,
Greg Patterson
,
Scott Puckett
,
Paritosh Bhoraskar
,
Huseyin Dinc
,
Mike Hensley
,
Russell Stop
,
Scott Bardsley
,
David Lattimore
,
Jeff Bray
,
Carroll Speir
, and
Robert Sneed
.
J. Solid-State Circuits
45(12):2602-2612
(
2010
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A 16b 250MS/s IF-sampling pipelined A/D converter with background calibration.
Ahmed M. A. Ali
,
Ahmed Morgan
,
Christopher Dillon
,
Greg Patterson
,
Scott Puckett
,
Mike Hensley
,
Russell Stop
,
Paritosh Bhoraskar
,
Scott Bardsley
,
David Lattimore
,
Jeff Bray
,
Carroll Speir
, and
Robert Sneed
.
ISSCC,
page 292-293.
IEEE,
(
2010
)
Ahmed M. A. Ali
,
Ahmed Morgan
,
Christopher Dillon
,
Greg Patterson
,
Scott Puckett
,
Mike Hensley
,
Russell Stop
,
Paritosh Bhoraskar
,
Scott Bardsley
,
David Lattimore
,
Jeff Bray
,
Carroll Speir
, and
Robert Sneed
.
ISSCC,
page 292-293.
IEEE,
(
2010
)
a year and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality and Deterministic Freezing
Paritosh K. Pandya
, and
Simoni S. Shah
.
CoRR
(
2011
)
Paritosh K. Pandya
, and
Simoni S. Shah
.
CoRR
(
2011
)
a year and 5 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
On Construction of Safety Signal Automata for $MITL\: U, \: S$ Using Temporal Projections.
Dileep Raghunath Kini
,
Shankara Narayanan Krishna
, and
Paritosh K. Pandya
.
FORMATS,
volume 6919 of Lecture Notes in Computer Science,
page 225-239.
Springer,
(
2011
)
Dileep Raghunath Kini
,
Shankara Narayanan Krishna
, and
Paritosh K. Pandya
.
FORMATS,
volume 6919 of Lecture Notes in Computer Science,
page 225-239.
Springer,
(
2011
)
a year and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Analyzing throughput of GPGPUs exploiting within-die core-to-core frequency variation.
Jungseob Lee
,
Paritosh Pratap Ajgaonkar
, and
Nam Sung Kim
.
ISPASS,
page 237-246.
IEEE Computer Society,
(
2011
)
Jungseob Lee
,
Paritosh Pratap Ajgaonkar
, and
Nam Sung Kim
.
ISPASS,
page 237-246.
IEEE Computer Society,
(
2011
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Reasoning Algebraically about Recursion.
Paul H. B. Gardiner
, and
Paritosh K. Pandya
.
Sci. Comput. Program.
18(3):271-280
(
1992
)
Paul H. B. Gardiner
, and
Paritosh K. Pandya
.
Sci. Comput. Program.
18(3):271-280
(
1992
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing.
Paritosh K. Pandya
, and
Simoni S. Shah
.
CONCUR,
volume 6901 of Lecture Notes in Computer Science,
page 60-75.
Springer,
(
2011
)
Paritosh K. Pandya
, and
Simoni S. Shah
.
CONCUR,
volume 6901 of Lecture Notes in Computer Science,
page 60-75.
Springer,
(
2011
)
a year and 9 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Bounded Validity Checking of Interval Duration Logic.
Babita Sharma
,
Paritosh K. Pandya
, and
Supratik Chakraborty
.
TACAS,
volume 3440 of Lecture Notes in Computer Science,
page 301-316.
Springer,
(
2005
)
Babita Sharma
,
Paritosh K. Pandya
, and
Supratik Chakraborty
.
TACAS,
volume 3440 of Lecture Notes in Computer Science,
page 301-316.
Springer,
(
2005
)
a year and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Approach to Verifiable Compiling Specification and Prototyping.
Jonathan P. Bowen
,
Jifeng He
, and
Paritosh K. Pandya
.
PLILP,
volume 456 of Lecture Notes in Computer Science,
page 45-59.
Springer,
(
1990
)
Jonathan P. Bowen
,
Jifeng He
, and
Paritosh K. Pandya
.
PLILP,
volume 456 of Lecture Notes in Computer Science,
page 45-59.
Springer,
(
1990
)
a year and 10 months ago
by
jpbowen
2
Compilation
Prototyping
Specification
Verification
formal
methods
myown
Compilation
Prototyping
Specification
Verification
formal
methods
myown
URL
DOI
TeX
Finding Response Times in a Real-Time System.
Mathai Joseph
, and
Paritosh K. Pandya
.
Comput. J.
29(5):390-395
(
1986
)
Mathai Joseph
, and
Paritosh K. Pandya
.
Comput. J.
29(5):390-395
(
1986
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A Structure-Directed Total Correctness Proof Rule for Recursive Procedure Calls.
Paritosh K. Pandya
, and
Mathai Joseph
.
Comput. J.
29(6):531-537
(
1986
)
Paritosh K. Pandya
, and
Mathai Joseph
.
Comput. J.
29(6):531-537
(
1986
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Weak Chop Inverses and Liveness in Mean-Value Calculus.
Paritosh K. Pandya
.
FTRTFT,
volume 1135 of Lecture Notes in Computer Science,
page 148-167.
Springer,
(
1996
)
Paritosh K. Pandya
.
FTRTFT,
volume 1135 of Lecture Notes in Computer Science,
page 148-167.
Springer,
(
1996
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Model Checking CTL*DC.
Paritosh K. Pandya
.
TACAS,
volume 2031 of Lecture Notes in Computer Science,
page 559-573.
Springer,
(
2001
)
Paritosh K. Pandya
.
TACAS,
volume 2031 of Lecture Notes in Computer Science,
page 559-573.
Springer,
(
2001
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
The Saga of Synchronous Bus Arbiter: On Model Checking Quantitative Timing Properties of Synchronous Programs.
Paritosh K. Pandya
.
Electr. Notes Theor. Comput. Sci.
65(5):110-124
(
2002
)
Paritosh K. Pandya
.
Electr. Notes Theor. Comput. Sci.
65(5):110-124
(
2002
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Interval Duration Logic: Expressiveness and Decidability.
Paritosh K. Pandya
.
Electr. Notes Theor. Comput. Sci.
65(6):254-272
(
2002
)
Paritosh K. Pandya
.
Electr. Notes Theor. Comput. Sci.
65(6):254-272
(
2002
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Some Decidability Results for Duration Calculus under Synchronous Interpretation.
Manoranjan Satpathy
,
Dang Van Hung
, and
Paritosh K. Pandya
.
FTRTFT,
volume 1486 of Lecture Notes in Computer Science,
page 186-197.
Springer,
(
1998
)
Manoranjan Satpathy
,
Dang Van Hung
, and
Paritosh K. Pandya
.
FTRTFT,
volume 1486 of Lecture Notes in Computer Science,
page 186-197.
Springer,
(
1998
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Duration Calculus of Weakly Monotonic Time.
Paritosh K. Pandya
, and
Dang Van Hung
.
FTRTFT,
volume 1486 of Lecture Notes in Computer Science,
page 55-64.
Springer,
(
1998
)
Paritosh K. Pandya
, and
Dang Van Hung
.
FTRTFT,
volume 1486 of Lecture Notes in Computer Science,
page 55-64.
Springer,
(
1998
)
a year and 11 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
P - A Logic - A Compositional Proof System for Distributed Programs.
Paritosh K. Pandya
, and
Mathai Joseph
.
Distributed Computing
(
1991
)
Paritosh K. Pandya
, and
Mathai Joseph
.
Distributed Computing
(
1991
)
2 years ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Managing crowdsourced human computation: a tutorial.
Panagiotis G. Ipeirotis
, and
Praveen K. Paritosh
.
WWW Companion Volume,
page 287-288.
ACM,
(
2011
)
Panagiotis G. Ipeirotis
, and
Praveen K. Paritosh
.
WWW Companion Volume,
page 287-288.
ACM,
(
2011
)
2 years and a month ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Video scene categorization by 3D hierarchical histogram matching.
Paritosh Gupta
,
Sai Sankalp Arrabolu
,
Mathew Brown
, and
Silvio Savarese
.
ICCV,
page 1655-1662.
IEEE,
(
2009
)
Paritosh Gupta
,
Sai Sankalp Arrabolu
,
Mathew Brown
, and
Silvio Savarese
.
ICCV,
page 1655-1662.
IEEE,
(
2009
)
2 years and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Infinitary Parallelism without Unbounded Nondeterminism in CSP.
K. Narayan Kumar
, and
Paritosh K. Pandya
.
Acta Inf.
30(5):467-487
(
1993
)
K. Narayan Kumar
, and
Paritosh K. Pandya
.
Acta Inf.
30(5):467-487
(
1993
)
2 years and 4 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Unambiguity in Timed Regular Languages: Automata and Logics.
Paritosh K. Pandya
, and
Simoni S. Shah
.
FORMATS,
volume 6246 of Lecture Notes in Computer Science,
page 168-182.
Springer,
(
2010
)
Paritosh K. Pandya
, and
Simoni S. Shah
.
FORMATS,
volume 6246 of Lecture Notes in Computer Science,
page 168-182.
Springer,
(
2010
)
2 years and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A framework for on-line trend extraction and fault diagnosis.
Mano Ram Maurya
,
Praveen K. Paritosh
,
Raghunathan Rengaswamy
, and
Venkat Venkatasubramanian
.
Eng. Appl. of AI
23(6):950-960
(
2010
)
Mano Ram Maurya
,
Praveen K. Paritosh
,
Raghunathan Rengaswamy
, and
Venkat Venkatasubramanian
.
Eng. Appl. of AI
23(6):950-960
(
2010
)
2 years and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Characterizing the Space of interatomic Distance Distribution Functions Consistent with Solution Scattering Data.
Paritosh A. Kavathekar
,
Bruce A. Craig
,
Alan M. Friedman
,
Chris Bailey-Kellogg
, and
Devin J. Balkcom
.
J. Bioinformatics and Computational Biology
8(2):315-335
(
2010
)
Paritosh A. Kavathekar
,
Bruce A. Craig
,
Alan M. Friedman
,
Chris Bailey-Kellogg
, and
Devin J. Balkcom
.
J. Bioinformatics and Computational Biology
8(2):315-335
(
2010
)
2 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Around Dot Depth Two.
Kamal Lodaya
,
Paritosh K. Pandya
, and
Simoni S. Shah
.
Developments in Language Theory,
volume 6224 of Lecture Notes in Computer Science,
page 303-315.
Springer,
(
2010
)
Kamal Lodaya
,
Paritosh K. Pandya
, and
Simoni S. Shah
.
Developments in Language Theory,
volume 6224 of Lecture Notes in Computer Science,
page 303-315.
Springer,
(
2010
)
2 years and 9 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
A utility-based adaptive sensing and multihop communication protocol for wireless sensor networks.
Paritosh Padhy
,
Rajdeep K. Dash
,
Kirk Martinez
, and
Nicholas R. Jennings
.
TOSN
(
2010
)
Paritosh Padhy
,
Rajdeep K. Dash
,
Kirk Martinez
, and
Nicholas R. Jennings
.
TOSN
(
2010
)
2 years and 10 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Timed and Hybrid Automata in SAL.
P. Vijay Suman
, and
Paritosh K. Pandya
.
SYNASC,
page 480-486.
IEEE Computer Society,
(
2008
)
P. Vijay Suman
, and
Paritosh K. Pandya
.
SYNASC,
page 480-486.
IEEE Computer Society,
(
2008
)
3 years and 5 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
An Approach to Verifiable Compiling Specification and Prototyping.
Jonathan P. Bowen
,
Jifeng He
, and
Paritosh K. Pandya
.
PLILP,
volume 456 of Lecture Notes in Computer Science,
page 45-59.
Springer,
(
1990
)
Jonathan P. Bowen
,
Jifeng He
, and
Paritosh K. Pandya
.
PLILP,
volume 456 of Lecture Notes in Computer Science,
page 45-59.
Springer,
(
1990
)
3 years and 7 months ago
by
dblp
2
dblp
dblp
URL
DOI
TeX
Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs.
Paritosh K. Pandya
.
REX Workshop,
volume 430 of Lecture Notes in Computer Science,
page 622-640.
Springer,
(
1989
)
Paritosh K. Pandya
.
REX Workshop,
volume 430 of Lecture Notes in Computer Science,
page 622-640.
Springer,
(
1989
)
3 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Freebase: a collaboratively created graph database for structuring human knowledge
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
3 years and 8 months ago
by
arminhs
5
database
semantic
tagging
database
semantic
tagging
URL
DOI
TeX
Recursive Mean-Value Calculus.
Paritosh K. Pandya
, and
Y. S. Ramakrishna
.
FSTTCS,
volume 1530 of Lecture Notes in Computer Science,
page 257-268.
Springer,
(
1998
)
Paritosh K. Pandya
, and
Y. S. Ramakrishna
.
FSTTCS,
volume 1530 of Lecture Notes in Computer Science,
page 257-268.
Springer,
(
1998
)
3 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
ICSP and Its Relationship with ACSP and CSP.
K. Narayan Kumar
, and
Paritosh K. Pandya
.
FSTTCS,
volume 761 of Lecture Notes in Computer Science,
page 358-372.
Springer,
(
1993
)
K. Narayan Kumar
, and
Paritosh K. Pandya
.
FSTTCS,
volume 761 of Lecture Notes in Computer Science,
page 358-372.
Springer,
(
1993
)
3 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
On the Computational Power of Operators in ICSP with Fairness.
K. Narayan Kumar
, and
Paritosh K. Pandya
.
FSTTCS,
volume 880 of Lecture Notes in Computer Science,
page 231-242.
Springer,
(
1994
)
K. Narayan Kumar
, and
Paritosh K. Pandya
.
FSTTCS,
volume 880 of Lecture Notes in Computer Science,
page 231-242.
Springer,
(
1994
)
3 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Time-optimal Trajectories for an Omni-directional Vehicle.
Devin J. Balkcom
,
Paritosh A. Kavathekar
, and
Matthew T. Mason
.
I. J. Robotic Res.
25(10):985-999
(
2006
)
Devin J. Balkcom
,
Paritosh A. Kavathekar
, and
Matthew T. Mason
.
I. J. Robotic Res.
25(10):985-999
(
2006
)
3 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Some Extensions to Propositional Mean-Value Caculus: Expressiveness and Decidability.
Paritosh K. Pandya
.
CSL,
volume 1092 of Lecture Notes in Computer Science,
page 434-451.
Springer,
(
1995
)
Paritosh K. Pandya
.
CSL,
volume 1092 of Lecture Notes in Computer Science,
page 434-451.
Springer,
(
1995
)
3 years and 8 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Determinization and Expressiveness of Integer Reset Timed Automata with Silent Transitions.
P. Vijay Suman
, and
Paritosh K. Pandya
.
LATA,
volume 5457 of Lecture Notes in Computer Science,
page 728-739.
Springer,
(
2009
)
P. Vijay Suman
, and
Paritosh K. Pandya
.
LATA,
volume 5457 of Lecture Notes in Computer Science,
page 728-739.
Springer,
(
2009
)
4 years and 2 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Freebase: a collaboratively created graph database for structuring human knowledge
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
4 years and 6 months ago
by
mkroell
5
KnowledgeBase
graph
KnowledgeBase
graph
URL
DOI
TeX
Freebase: a collaboratively created graph database for structuring human knowledge
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
Kurt Bollacker
,
Colin Evans
,
Praveen Paritosh
,
Tim Sturge
, and
Jamie Taylor
.
SIGMOD '08: Proceedings of the 2008 ACM SIGMOD international conference on Management of data,
page 1247--1250.
New York, NY, USA,
ACM,
(
2008
)
4 years and 6 months ago
by
mgrani
5
freebase
toread
web2.0
freebase
toread
web2.0
URL
DOI
TeX
Securing information flow via dynamic capture of dependencies.
Paritosh Shroff
,
Scott F. Smith
, and
Mark Thober
.
Journal of Computer Security
16(5):637-688
(
2008
)
Paritosh Shroff
,
Scott F. Smith
, and
Mark Thober
.
Journal of Computer Security
16(5):637-688
(
2008
)
4 years and 6 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
Generalizing the dubins and reeds-shepp cars: Fastest paths for bounded-velocity mobile robots.
Andrei A. Furtuna
,
Devin J. Balkcom
,
Hamid Reza Chitsaz
, and
Paritosh A. Kavathekar
.
ICRA,
page 2533-2539.
IEEE,
(
2008
)
Andrei A. Furtuna
,
Devin J. Balkcom
,
Hamid Reza Chitsaz
, and
Paritosh A. Kavathekar
.
ICRA,
page 2533-2539.
IEEE,
(
2008
)
4 years and 7 months ago
by
dblp
1
dblp
dblp
URL
DOI
TeX
BibSonomy is offered by the
KDE group
of the University of Kassel, the
DMIR group
of the University of Würzburg, and the
L3S Research Center
, Germany.
Privacy & Terms of Use
-
Contact