Sciweavers

434 search results - page 31 / 87
» Embedded Intelligence
Sort
View
73
Voted
ECAI
2006
Springer
15 years 2 months ago
Using Occlusion Calculi to Interpret Digital Images
This paper reports on an investigation using occlusion calculi to interpret digital images. Using a minimal set of digital, region-relation detectors, and assuming a continuous int...
David A. Randell, Mark Witkowski
ATAL
2008
Springer
15 years 1 months ago
Automated global-to-local programming in 1-D spatial multi-agent systems
A spatial computer is a distributed multi-agent system that is embedded in a geometric space. A key challenge is engineering local agent interaction rules that enable spatial comp...
Daniel Yamins, Radhika Nagpal
FLAIRS
1998
15 years 13 days ago
A Framework for Knowledge Reuse
Knowledge "objects' are proposed as a modelling framework which facilitates the reuse of knowledge. Knowledgeobjects are operators which maybe used to construct the ...
John K. Debenham
CEC
2010
IEEE
15 years 6 days ago
Two-stage based ensemble optimization for large-scale global optimization
Large-scale global optimization (LSGO) is a very important and challenging task in optimization domain, which is embedded in many scientific and engineering applications. In this p...
Yu Wang, Bin Li
AMAI
2007
Springer
14 years 11 months ago
Automated theorem proving by resolution in non-classical logics
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
Viorica Sofronie-Stokkermans