Sciweavers

8196 search results - page 339 / 1640
» Computational Modeling and Complexity Science
Sort
View
SOFSEM
2009
Springer
16 years 3 months ago
A Formal Model of Business Application Integration from Web Services (Position Paper)
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...
Kaiyu Wan, Mubarak Mohammad, Vasu S. Alagar
GI
2007
Springer
16 years 26 days ago
Fuzzy Operators for Confidence Modelling in Automotive Safety Applications
: The fusion of data from different sensorial sources is the most promising method to increase robustness and reliability of environmental perception today. The paper presents an a...
Ulrich Scheunert, Philipp Lindner, Eric Richter, G...
GI
2009
Springer
15 years 11 months ago
Tracking an Extended Object Modeled as an Axis-Aligned Rectangle
: In many tracking applications, the extent of the target object is neglected and it is assumed that the received measurements stem from a point source. However, modern sensors are...
Marcus Baum, Uwe D. Hanebeck
GI
2007
Springer
15 years 10 months ago
User Profile Refinement Using Explicit User Interest Modeling
: In this paper, we present an approach to refine user profiles that were derived from Web server logs in an automated procedure. In most application scenarios, such automatically ...
Gerald Stermsek, Mark Strembeck, Gustaf Neumann
SPIN
2010
Springer
15 years 5 months ago
Nevertrace Claims for Model Checking
In this paper, we propose the nevertrace claim, which is a new construct for specifying the correctness properties that either finite or infinite execution traces (i.e., sequence...
Zhe Chen, Gilles Motet