2488 search results - page 245 / 498 » An improvement in formal verification |
ATAL
2010
Springer
15 years 2 months ago
2010
Springer
Social norms enable coordination in multiagent systems by constraining agent behaviour in order to achieve a social objective. Automating the design of social norms has been shown...
106
click to vote
COMCOM
2007
15 years 1 months ago
2007
Credit card transactions are a popular and diffused means of payment over the network. Unfortunately, current technology does not allow us to technically solve disputes that may ...
128
click to vote
CIKM
2010
Springer
14 years 11 months ago
2010
Springer
Dealing with verbose (or long) queries poses a new challenge for information retrieval. Selecting a subset of the original query (a "sub-query") has been shown to be an ...
137
click to vote
CVPR
2011
IEEE
14 years 9 months ago
2011
IEEE
A convenient way of dealing with image sets is to represent them as points on Grassmannian manifolds. While several recent studies explored the applicability of discriminant analy...
143
click to vote
DASFAA
2011
IEEE
14 years 5 months ago
2011
IEEE
Flash memories are considered a competitive alternative to rotating disks as non-volatile data storage for database management systems. However, even if the Flash Translation Layer...