247 search results - page 19 / 50 » Development graphs - Proof management for structured specifi... |
121
click to vote
AAAI
2010
15 years 1 months ago
2010
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
110
click to vote
OWLED
2008
15 years 1 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
IADIS
2004
15 years 1 months ago
2004
IMT-2000 has been developing in both cdma2000 and W-CDMA, and their convergence or harmonization has also been discussed in several standard organizations. Besides the most expert...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Measurement of organizational knowledge assets is necessary to determine the effectiveness of knowledge management initiatives. A Knowledge Management Capability Assessment instru...
ICIS
2000
15 years 1 months ago
2000
Even as they enjoy impressive growth, one of the major challenges facing providers of online services is a high rate of customer turnover. It has adverse impacts on business perfo...