Sciweavers

3446 search results - page 553 / 690
» A Reasoning Algorithm for pD*
Sort
View
ICCAD
2007
IEEE
165views Hardware» more  ICCAD 2007»
15 years 8 months ago
Automated refinement checking of concurrent systems
Stepwise refinement is at the core of many approaches to synthesis and optimization of hardware and software systems. For instance, it can be used to build a synthesis approach for...
Sudipta Kundu, Sorin Lerner, Rajesh Gupta
AI
2006
Springer
15 years 7 months ago
Satisfaction Equilibrium: Achieving Cooperation in Incomplete Information Games
So far, most equilibrium concepts in game theory require that the rewards and actions of the other agents are known and/or observed by all agents. However, in real life problems, a...
Stéphane Ross, Brahim Chaib-draa
BIBE
2004
IEEE
107views Bioinformatics» more  BIBE 2004»
15 years 7 months ago
Enhanced pClustering and Its Applications to Gene Expression Data
Clustering has been one of the most popular methods to discover useful biological insights from DNA microarray. An interesting paradigm is simultaneous clustering of both genes an...
Sungroh Yoon, Christine Nardini, Luca Benini, Giov...
CAISE
2004
Springer
15 years 7 months ago
Simple and Minimum-Cost Satisfiability for Goal Models
Abstract. Goal models have been used in Computer Science in order to represent software requirements, business objectives and design qualities. In previous work we have presented a...
Roberto Sebastiani, Paolo Giorgini, John Mylopoulo...
ATAL
2006
Springer
15 years 7 months ago
Cognitive agents based simulation for decisions regarding human team composition
This paper proposes to use cognitive multi-agent based simulation to facilitate human team formation decision processes. The models of organizational actors are acquired by a data...
Bruno Gonçalves, António Lopes, Sofi...