Sciweavers

4444 search results - page 444 / 889
» Modelling Dynamic Web Data
Sort
View
FMOODS
2008
15 years 6 months ago
VeriCool: An Automatic Verifier for a Concurrent Object-Oriented Language
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
Jan Smans, Bart Jacobs 0002, Frank Piessens
WWW
2004
ACM
16 years 5 months ago
A hybrid approach for searching in the semantic web
This paper presents a search architecture that combines classical search techniques with spread activation techniques applied to a semantic model of a given domain. Given an ontol...
Cristiano Rocha, Daniel Schwabe, Marcus Poggi de A...
IAT
2008
IEEE
15 years 11 months ago
Generating Personalized Summaries Using Publicly Available Web Documents
Many Knowledge workers are increasingly using online resources to find out latest developments in their specialty and articles of interest. To extract relevant information from s...
Chandan Kumar, Prasad Pingali, Vasudeva Varma
ICDIM
2006
IEEE
15 years 10 months ago
Investigating Web-Based Approaches to Revealing Prototypical Music Artists in Genre Taxonomies
— We present three general approaches to detecting prototypical entities in a given taxonomy and apply them to a music information retrieval (MIR) problem. More precisely, we try...
Markus Schedl, Peter Knees, Gerhard Widmer
EEE
2005
IEEE
15 years 10 months ago
QoS Aggregation in Web Service Compositions
For the composition of Web services non-functional characteristics are commonly considered criteria for finding and selecting available services. Our work focuses on a mechanism ...
Michael C. Jaeger, Gregor Rojec-Goldmann, Gero M&u...