Site Search:
Home
Search Technologies
Machine Learning
Econ and Social Sys
Computational Adv
Community Systems
BROWSE YAHOO! RESEARCH
About Yahoo! Research
Academic Relations
Events
Job Opportunities
News
People
Publications
Contact Us
People
Projects
Publications
Search by typing the name in the box:
Select a Project from the list below:
Select Project
A New Serving of Sponsored Search
A Question of Relevancy
Building Better Online Communities
Friend Sense
Hitting the Jackpot with a Greedy Bidding Strategy
Match Game
Mindset: Intent-driven Search
One Fast Wabbit
Pig
PNUTS - Platform for Nimble Universal Table Storage
Predicting the Future with Basketball Bets
Query the Obscure
Remixer
Squeeze Every Drop of Meaning from Data
TagLines
TagMaps
Tech Buzz Game
The Dating Game
Topic Clustered RSS Reader
ZoneTag
Zookeeper
Zync
Search publications by:
Author:
Title:
Year:
Type:
Journal Article
Conference Paper
Report
Thesis
Book
Miscellaneous
Unpublished
Book Chapter
Research Area:
Community Systems
Computational Ads
Machine Learning
Media Experiences
Microeconomics
Search Technologies
Advanced Search
Publications
Publications
|
Technical Reports
Found 1 results
Filters:
author
is
Patthak
[Clear All Filters]
2002
Quantified Computation Tree Logic.
Patthak, A.C.
;
Bhattacharya, I.
;
Dasgupta, A.
;
Dasgupta, P.
;
Chakrabarti, P.P.
, Information Processing Letters, Volume 82, Number 3, p.123-129, (2002)
