Sciweavers

5451 search results - page 575 / 1091
» Typed Operational Semantics
Sort
View
AAAI
1996
15 years 8 months ago
Opportunity Recognition in Complex Environments
An agent operating in an unpredictable world must be able to take advantage of opportunities but cannot afford to perform a detailed analysis of the effects of every nuance of the...
Louise Pryor
174
Voted
CEC
2010
IEEE
15 years 8 months ago
Elitist Artificial Bee Colony for constrained real-parameter optimization
Abstract-- A novel algorithm to solve constrained realparameter optimization problems, based on the Artificial Bee Colony algorithm is introduced in this paper. The operators used ...
Efrén Mezura-Montes, Ramiro Ernesto Velez-K...
196
Voted
CORR
2010
Springer
92views Education» more  CORR 2010»
15 years 7 months ago
Design and Modeling Billing solution to Next Generation Networks
-------------------------------------------------------------------ABSTRACT----------------------------------------------------------------Next generation networks (NGN) services a...
Kamaljit I. Lakhtaria, N. N. Jani
SCL
2008
101views more  SCL 2008»
15 years 6 months ago
Stability of nonlinear asynchronous systems
Abstract-- In this work, we focus on a class of nonlinear asynchronous systems defined by two different modes of operation, one stable and the other one unstable. The switching bet...
David Muñoz de la Peña, Panagiotis D...
JANCL
2007
106views more  JANCL 2007»
15 years 6 months ago
Dynamic logic for belief revision
ABSTRACT. We show how belief revision can be treated systematically in the format of dynamicepistemic logic, when operators of conditional belief are added. The core engine consist...
Johan van Benthem