4965 search results - page 787 / 993 » A Simple Abstraction for Data Modeling |
292
click to vote
DEXA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Previous works in change detection on XML focused on detecting changes to text file using ordered and unordered tree model. These approaches are not suitable for detecti...
183
click to vote
IWCM
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Differential motion estimation is based on detecting brightness changes in local image structures. Filters approximating the local gradient are applied to the image seque...
173
click to vote
KES
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Intelligent web site is a new portal generation, able to improve its structure and content based on the analysis of the user behavior. This paper focuses on modeling the ...
151
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
236
click to vote
VOSS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by...