4224 search results - page 830 / 845 » Reasoning about Choice |
104
click to vote
JPDC
2006
15 years 11 days ago
2006
In the context of mobile communication, an efficient algorithm for the base-station placement problem is developed in this paper. The objective is to place a given number of base-...
108
click to vote
ENVSOFT
2007
15 years 11 days ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
127
click to vote
FMSD
2007
15 years 11 days ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
132
Voted
RE
2006
Springer
15 years 10 days ago
2006
Springer
Aspect-oriented concepts are currently introduced in all phases of the software development life cycle. However, the complexity of interactions among different aspects and between...
AI
2005
Springer
15 years 10 days ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...