1864 search results - page 93 / 373 » Formal topology and domains |
161
click to vote
ANSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper presents a simulation performance improvement of the application of the Multicomponent Discrete Time System Specification (MultiDTSS) formalism to a fire spread. Multic...
120
click to vote
PERCOM
2006
ACM
16 years 6 months ago
2006
ACM
Recent research in wireless communications has achieved important results by exploring more and more sophisticated solutions involving power control. Cross-layer design and topolo...
156
click to vote
LICS
2007
IEEE
16 years 19 days ago
2007
IEEE
A topological space is Noetherian iff every open is compact. Our starting point is that this notion generalizes that of well-quasi order, in the sense that an Alexandroff-discrete...
157
click to vote
AAAI
2008
15 years 8 months ago
2008
Automated generators for synthetic models and data can play a crucial role in designing new algorithms/modelframeworks, given the sparsity of benchmark models for empirical analys...
190
click to vote
IPCV
2010
15 years 4 months ago
2010
Abstract-- Different models for computing the spatial relations have been developed in the last decade. Separate methods are used for computing topological, directional and distanc...