Sciweavers

1712 search results - page 232 / 343
» Discovering user profiles
Sort
View
GI
2008
Springer
15 years 7 months ago
Semantically linking web pages to web services in Bioinformatics
: A key application area of semantic technologies is the fast-developing field of bioinformatics. Sealife is a project within this field with the aim of creating semanticsbased w...
Karen Sutherland, Kenneth McLeod, Albert Burger
CONCURRENCY
2008
81views more  CONCURRENCY 2008»
15 years 6 months ago
Resource space view tour mechanism
The Resource Space Model is a new semantic data model for managing various resources. Based on the model, this paper proposes a view mechanism for finding and reusing legacy Resou...
Jin Liu, Xiang Li, Liang Feng
CORR
2010
Springer
183views Education» more  CORR 2010»
15 years 6 months ago
A Game Theoretical Approach to Modeling Information Dissemination in Social Networks
One major function of social networks (e.g., massive online social networks) is the dissemination of information such as scientific knowledge, news, and rumors. Information can be...
Dmitry Zinoviev, Vy Duong, Honggang Zhang
CORR
2010
Springer
157views Education» more  CORR 2010»
15 years 6 months ago
Context Ontology Implementation for Smart Home
Context awareness is one of the important fields in ubiquitous computing. Smart Home, a specific instance of ubiquitous computing, provides every family with opportunities to enjo...
Tam Van Nguyen, Wontaek Lim, Huy Anh Nguyen, Deokj...
FMSD
2008
110views more  FMSD 2008»
15 years 6 months ago
Automatic symbolic compositional verification by learning assumptions
Abstract Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically base...
Wonhong Nam, P. Madhusudan, Rajeev Alur