11017 search results - page 71 / 2204 » Closure Systems and their Structure |
159
click to vote
NA
2010
15 years 4 months ago
2010
We describe a fast solver for linear systems with reconstructible Cauchylike structure, which requires O(rn2 ) floating point operations and O(rn) memory locations, where n is th...
138
click to vote
CCGRID
2009
IEEE
16 years 16 days ago
2009
IEEE
This paper presents “Self-Chord”, a bio-inspired P2P algorithm that can be profitably adopted to build the information service of distributed systems, in particular Computati...
152
click to vote
TABLEAUX
2007
Springer
15 years 12 months ago
2007
Springer
We construct a sound, complete, and terminating tableau system for the interval temporal logic D · interpreted in interval structures over dense linear orderings endowed with stri...
166
click to vote
TPDS
2008
15 years 5 months ago
2008
Application-layer peer-to-peer (P2P) networks are considered to be the most important development for next-generation Internet infrastructure. For these systems to be effective, lo...
139
click to vote
AAAI
1994
15 years 7 months ago
1994
A variety of reactive plan execution systems have been developed in recent years, each attempting to solve the problem of taking reasonable courses of action fast enough in a dyna...