4469 search results - page 708 / 894 » Comparing and Combining Profiles |
153
click to vote
QEST
2010
IEEE
15 years 2 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
146
click to vote
RTAS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Modern computing systems have adopted multicore architectures and multiprocessor systems on chip (MPSoCs) for accommodating the increasing demand on computation power. Ho...
150
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Ontologies underpin the semantic web; they define the concepts and their relationships contained in a data source. An increasing number of ontologies are available on-lin...
147
click to vote
SEMWEB
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Wikis allow users to collaboratively create and maintain content. Semantic wikis, which provide the additional means to annotate the content semantically and thereby allo...
155
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
This paper addresses the topic of social advertising, which refers to the allocation of ads based on individual user social information and behaviors. As social network services (e...