Sciweavers

4099 search results - page 255 / 820
» A Framework for Interactive Proof
Sort
View
GECCO
2007
Springer
137views Optimization» more  GECCO 2007»
16 years 22 days ago
Learning and anticipation in online dynamic optimization with evolutionary algorithms: the stochastic case
The focus of this paper is on how to design evolutionary algorithms (EAs) for solving stochastic dynamic optimization problems online, i.e. as time goes by. For a proper design, t...
Peter A. N. Bosman, Han La Poutré
SPC
2005
Springer
16 years 1 days ago
Supporting Dynamically Changing Authorizations in Pervasive Communication Systems
In pervasive computing environments, changes in context may trigger changes in an individual’s access permissions. We contend that existing access control frameworks do not provi...
Adam J. Lee, Jodie P. Boyer, Chris Drexelius, Pras...
IJCAI
2003
15 years 8 months ago
Consistency and Set Intersection
We propose a new framework to study properties of consistency in a Constraint Network from the perspective of properties of set intersection. Our framework comes with a proof sche...
Yuanlin Zhang, Roland H. C. Yap
MOBIQUITOUS
2005
IEEE
16 years 4 days ago
Design and Implementation of a Software Infrastructure for Integrating Sentient Artefact
This paper presents a framework prototype for sentient environments. The framework provides a generic interface to the applications for interacting with sentient artefacts in a un...
Fahim Kawsar, Kaori Fujinami, Tatsuo Nakajima
AIEDAM
2007
86views more  AIEDAM 2007»
15 years 6 months ago
An ontology of situated design teams
This paper presents an ontological framework for situated design teams in which the team is both the subject and the object of designing. Team designing is modelled using the set o...
John S. Gero, Udo Kannengiesser