5550 search results - page 283 / 1110 » Different Approaches to Proof Systems |
173
click to vote
ENTER
2008
Springer
15 years 8 months ago
2008
Springer
Recommender systems (RS) are employed to personalize user interaction with (e.g. tourism) web-sites, supporting both navigation through large service assortments and the configura...
200
click to vote
MAGS
2008
15 years 6 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
171
click to vote
NSDI
2010
15 years 8 months ago
2010
We show how to build cheap and large CAMs, or CLAMs, using a combination of DRAM and flash memory. These are targeted at emerging data-intensive networked systems that require mas...
182
click to vote
ENTCS
2010
15 years 4 months ago
2010
Model-driven performance prediction methods require detailed design models to evaluate the performance of software systems during early development stages. However, the complexity...
173
click to vote
ICRA
2009
IEEE
16 years 1 months ago
2009
IEEE
— We present a decentralized, scalable approach to assembling a group of heterogeneous parts into different products using a swarm of robots. While the assembly plans are predete...