5900 search results - page 827 / 1180 » Dependable Systems |
163
Voted
EJIS
2006
15 years 6 months ago
2006
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...
183
click to vote
ENTCS
2006
15 years 6 months ago
2006
One of the most important aspects of a Web document is its up-to-dateness or recency. Up-to-dateness is particularly relevant to Web documents because they usually contain content...
159
click to vote
FMSD
2006
15 years 6 months ago
2006
Convex polyhedra are often used to approximate sets of states of programs involving numerical variables. The manipulation of convex polyhedra relies on the so-called double descri...
166
click to vote
IGPL
2006
15 years 6 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
174
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
As multicore systems continue to gain ground in the High Performance Computing world, linear algebra algorithms have to be reformulated or new algorithms have to be developed in or...