5550 search results - page 109 / 1110 » Different Approaches to Proof Systems |
CORR
2008
Springer
15 years 6 months ago
2008
Springer
- The goal is the development of a novel principle for the temperature acquisition of refrigerants in CO2 air conditioning systems. The new approach is based on measuring the tempe...
175
click to vote
ISBI
2009
IEEE
16 years 1 months ago
2009
IEEE
An atlas defines a common coordinate system to enable the comparison of data from different subjects. Key in the development of a brain atlas are the identification of a common ...
169
click to vote
SRDS
2006
IEEE
16 years 11 days ago
2006
IEEE
Today’s large-scale distributed systems consist of collections of nodes that have highly variable availability — a phenomenon sometimes called churn. This availability variati...
192
click to vote
APSEC
1999
IEEE
15 years 10 months ago
1999
IEEE
One of the characteristics of large software systems is that they evolve over time. Evolution patterns include modifications related to the implementation, interfaces and the over...
178
click to vote
FLAIRS
2006
15 years 7 months ago
2006
Group recommender systems introduce a whole set of new challenges for recommender systems research. The notion of generating a set of recommendations that will satisfy a group of ...