3119 search results - page 303 / 624 » Abstract Requirement Analysis in Multiagent System Design |
144
click to vote
ICDCSW
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Online feedback-based rating systems are gaining popularity. Dealing with unfair ratings in such systems has been recognized as an important problem and many unfair rat...
131
click to vote
GPC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Geoscience analysis is currently limited by cumbersome access and manipulation of large datasets from remote sources. Due to their data-heavy and compute-light nature, th...
137
click to vote
SPIN
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
140
click to vote
LCPC
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. The DEFACTO project - a Design Environment For Adaptive Computing TechnOlogy - is a system that maps computations, expressed in high-level languages such as C, directly o...
126
click to vote
TSMC
2008
15 years 4 months ago
2008
Abstract--An adaptive critic design (ACD)-based damping controller is developed for a thyristor-controlled series capacitor (TCSC) installed in a power system with multiple poorly ...