4150 search results - page 225 / 830 » A Practical Approach to Model Extension |
111
click to vote
ADVIS
2004
Springer
15 years 8 months ago
2004
Springer
Research in temporal database management has suggested that the Entity-Relationship (E-R) model lacks appropriate constructs for representing the dynamic nature of the real world....
153
click to vote
ENTCS
2007
15 years 4 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...
141
click to vote
CI
2004
15 years 4 months ago
2004
We present a general approach for representing and reasoning with sets of defaults in default logic, focussing on reasoning about preferences among sets of defaults. First, we con...
144
click to vote
SMA
1995
ACM
15 years 8 months ago
1995
ACM
: Fast and accurate collision detection between general solid models is a fundamental problem in solid modeling, robotics, animation and computer-simulated environments. Most of th...
165
click to vote
PKDD
2010
Springer
15 years 2 months ago
2010
Springer
One of the major strengths of probabilistic topic modeling is the ability to reveal hidden relations via the analysis of co-occurrence patterns on dyadic observations, such as docu...