6047 search results - page 602 / 1210 » Modeling with Extend |
197
Voted
EFDBS
2000
15 years 8 months ago
2000
A main problem of data integration is the treatment of conflicts caused by different modeling of real-world entities, different data models or simply by different representations ...
165
click to vote
WSC
1998
15 years 8 months ago
1998
As CDMA systems reach capacity, infrastructure providers are extending them by offering multicarrier capability. The capacity of an n-carrier CDMA system should be at least n time...
202
Voted
SMA
2010
ACM
15 years 7 months ago
2010
ACM
Whereas traditional finite element methods use meshes to define domain geometry, weighted extended B-spline finite element methods rely on a weight function. A weight function is ...
215
click to vote
AI
2008
Springer
15 years 7 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...
200
click to vote
ENTCS
2008
15 years 7 months ago
2008
As an extension to Floyd-Hoare logic, separation logic has been used to facilitate reasoning about imperative programs manipulating shared mutable data structures. Recently, it ha...