4096 search results - page 425 / 820 » An Object Model for Interoperable Systems |
198
click to vote
EUROPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Understanding and controlling program behavior is a challenging objective for the design of advanced compilers and critical system development. In this paper, we propose ...
171
click to vote
PKDD
2005
Springer
16 years 7 days ago
2005
Springer
Mining regression models from spatial data is a fundamental task in Spatial Data Mining. We propose a method, namely Mrs-SMOTI, that takes advantage from a tight-integration with s...
179
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
179
click to vote
CGI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes an incremental polygonization technique for implicit surfaces built from skeletal elements. Our method lends itself for an interactive modeling system as the ...
178
click to vote
PADS
1997
ACM
15 years 11 months ago
1997
ACM
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...