1743 search results - page 167 / 349 » Generalized Modal Satisfiability |
126
Voted
WCE
2007
15 years 4 months ago
2007
— Agents are being recommended as a next generation model for revising and restructuring the complex distributed applications. So the task of engineering quality for agent system...
124
Voted
WWW
2010
ACM
15 years 3 months ago
2010
ACM
We study the problem of anonymizing user profiles so that user privacy is sufficiently protected while the anonymized profiles are still effective in enabling personalized web sea...
149
Voted
CEC
2007
IEEE
15 years 3 months ago
2007
IEEE
— Memetic algorithms (MAs) combine the global exploration abilities of evolutionary algorithms with a local search to further improve the solutions. While a neighborhood can be e...
132
Voted
CGF
2008
15 years 3 months ago
2008
In this paper we propose a new kind of Hermite interpolation on arbitrary domains, matching derivative data of arbitrary order on the boundary. The basic idea stems from an interp...
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Traditional tolerancing considers the conformity of a batch when the batch satisfies the specifications. The characteristic is considered for itself and not according to its incide...