Sciweavers

485 search results - page 41 / 97
» Embedded intelligent SRAM
Sort
View
CEC
2010
IEEE
15 years 7 months 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
15 years 6 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
JELIA
2010
Springer
15 years 5 months ago
Translating First-Order Causal Theories into Answer Set Programming
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
Vladimir Lifschitz, Fangkai Yang
SEMWEB
2010
Springer
15 years 1 months ago
Smart objects: Challenges for Semantic Web research
Abstract. The increased availability and robustness of sensors, the wide-spread use of the internet as a communication environment and the intensified adoption of semantic technolo...
Marta Sabou
AAAI
2007
15 years 9 months ago
Isometric Projection
Recently the problem of dimensionality reduction has received a lot of interests in many fields of information processing. We consider the case where data is sampled from a low d...
Deng Cai, Xiaofei He, Jiawei Han