7961 search results - page 1333 / 1593 » Input-Output Model Programs |
190
click to vote
ICLP
2011
Springer
14 years 7 months ago
2011
Springer
Transaction Logic is an extension of classical logic that gracefully integrates both declarative and procedural knowledge and has proved itself as a powerful formalism for many ad...
155
click to vote
ICSE
2011
IEEE-ACM
14 years 7 months ago
2011
IEEE-ACM
In this paper, we examined the impact of project-level configurational choices of globally distributed software teams on project productivity, quality, and profits. Our analysis u...
167
click to vote
JAIR
2011
14 years 6 months ago
2011
There has been significant recent interest in game theoretic approaches to security, with much of the recent research focused on utilizing the leader-follower Stackelberg game mo...
142
click to vote
JMLR
2012
13 years 6 months ago
2012
We consider a model for which it is important, early in processing, to estimate some variables with high precision, but perhaps at relatively low recall. If some variables can be ...
151
click to vote
ICCV
2007
IEEE
16 years 6 months ago
2007
IEEE
We consider the task of creating a 3-d model of a large novel environment, given only a small number of images of the scene. This is a difficult problem, because if the images are...