899 search results - page 167 / 180 » Cost Analysis of Games, Using Program Logic |
160
Voted
PEPM
2010
ACM
15 years 4 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
115
Voted
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
We propose interest seam image, an efficient visual synopsis for video. To extract an interest seam image, a spatiotemporal energy map is constructed for the target video shot. T...
146
Voted
BIBE
2007
IEEE
15 years 9 months ago
2007
IEEE
Network mapping is a convenient tool for comparing and exploring biological networks; it can be used for predicting unknown pathways, fast and meaningful searching of databases, a...
138
Voted
AAAI
2007
15 years 5 months ago
2007
In many sensing applications we must continuously gather information to provide a good estimate of the state of the environment at every point in time. A robot may tour an environ...
137
Voted
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
Mixed multi-unit combinatorial auctions are combinatorial auctions in which the auctioneer and the bidders negotiate over transformations rather than over simple goods. By proposi...