2907 search results - page 498 / 582 » Presentations of Structures in Admissible Sets |
92
Voted
JASIS
2010
14 years 11 months ago
2010
There is growing interest in, and an increasing number of attempts by, traditional information providers to engage social content creation and sharing communities in creating and ...
105
Voted
SAS
2010
Springer
14 years 11 months ago
2010
Springer
Proving termination of sequential programs is an important problem, both for establishing the total correctness of systems and as a component of proving more general termination an...
207
Voted
ASUNAM
2011
IEEE
14 years 21 days ago
2011
IEEE
—Modern applications such as web knowledge base, network traffic monitoring and online social networks have made available an unprecedented amount of network data with rich type...
133
Voted
BMCBI
2007
15 years 21 days ago
2007
Background: Neuroscientists often need to access a wide range of data sets distributed over the Internet. These data sets, however, are typically neither integrated nor interopera...
78
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Most current banner advertising is sold through negotiation thereby incurring large transaction costs and possibly suboptimal allocations. We propose a new automated system for se...