5550 search results - page 562 / 1110 » Different Approaches to Proof Systems |
169
click to vote
ICIW
2007
IEEE
16 years 1 months ago
2007
IEEE
— Service-Oriented Computing (SOC) is a promising means to integrate heterogeneous systems. Services from different providers can be integrated into a composite service regardles...
154
Voted
EUROITV
2007
Springer
16 years 1 months ago
2007
Springer
Television and the Internet have proven to be a popular combination for both broadcasters and viewers. Because of this popularity they are increasingly facing the consequences of c...
207
Voted
ICSEA
2006
IEEE
16 years 1 months ago
2006
IEEE
The benefits of impact analysis in the maintenance and evolution of software systems are well known, and many forms of impact analysis, over different software life cycle objects...
185
click to vote
IJCNN
2006
IEEE
16 years 1 months ago
2006
IEEE
—Robust tuning of lead-lag type controller used for regulating FACTS control signal to improve dynamic stability has been an area of interest in research. This paper presents a n...
158
Voted
ECAI
2004
Springer
16 years 24 days ago
2004
Springer
Recent studies have argued that natural vision systems perform classification by utilizing different mechanisms depending on the visual input. In this paper we present a hybrid, ...