Sciweavers

10568 search results - page 515 / 2114
» Computer Intelligence and Formalization
Sort
View
PDCAT
2007
Springer
16 years 8 days ago
A Service Provision Model Based on Context Awareness for Ubiquitous Computing
Ubiquitous computing environment has become more popular as a highly open, heterogeneous and service-rich domain, which makes it essential and important for end-users to build a r...
Faqun Jiang, Jintao Li, Zhenmin Zhu
TABLEAUX
2009
Springer
15 years 10 months ago
Tableaux for Projection Computation and Knowledge Compilation
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
Christoph Wernhard
IWANN
2009
Springer
16 years 21 days ago
General Purpose Agent-Based Parallel Computing
Parallel computing has become an important research field in the last years. The availability of hardware and the success of grid computing have motivated this interest. In this pa...
David Sánchez, David Isern, Ángel Ro...
CIMCA
2008
IEEE
16 years 18 days ago
LGR: The New Genetic Based Scheduler for Grid Computing Systems
—The computational grid provides a promising platform for the deployment of various high-performance computing applications. In computational grid, an efficient scheduling of tas...
Leili Mohammad Khanli, Seyad Naser Razavi, Nima Ja...
IEEEICCI
2007
IEEE
16 years 13 days ago
A Logic Language of Granular Computing
Granular computing concerns human thinking and problem solving, as well as their implications to the design of knowledge intensive systems. It simplifies complex real world probl...
Yiyu Yao, Bing Zhou