Sciweavers

1268 search results - page 122 / 254
» One Logic to Use Them All
Sort
View
CIE
2007
Springer
15 years 7 months ago
Computational Complexity of Constraint Satisfaction
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...
Heribert Vollmer
DIS
2009
Springer
15 years 7 months ago
A Dialectic Approach to Problem-Solving
We analyze the dynamics of problem-solving in a framework which captures two key features of that activity. The first feature is that problem-solving is a social game where a numb...
Éric Martin, Jean Sallantin
PPSN
2004
Springer
15 years 6 months ago
Improving Evolutionary Algorithms with Multi-representation Island Models
Abstract. We present an island model that uses different representations in each island. The model transforms individuals from one representation to another during migrations. We ...
Zbigniew Skolicki, Kenneth A. De Jong
APSEC
2005
IEEE
15 years 2 months ago
Increasing the Efficiency of Fault Detection in Modified Code
Many software systems are developed in a number of consecutive releases. Each new release does not only add new code but also modifies already existing one. In this study we have ...
Piotr Tomaszewski, Lars Lundberg, Håkan Grah...
148
Voted
WIOPT
2006
IEEE
15 years 6 months ago
Scheduling sensor activity for point information coverage in wireless sensor networks
Abstract— An important application of wireless sensor networks is to perform the monitoring missions, for example, to monitor some targets of interests at all times. Sensors are ...
Bang Wang, Kee Chaing Chua, Vikram Srinivasan, Wei...