2911 search results - page 290 / 583 » A Theory of Expressiveness in Mechanisms |
152
click to vote
ATAL
2007
Springer
16 years 26 days ago
2007
Springer
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
173
click to vote
CCS
2007
ACM
16 years 25 days ago
2007
ACM
Despite the recent advances in the theory underlying obfuscation, there still is a need to evaluate the quality of practical obfuscating transformations more quickly and easily. T...
228
click to vote
ACOM
2006
Springer
16 years 20 days ago
2006
Springer
In this research, we re-arrange FIPA’s ACL performatives to form a subsumption lattice (ontology) and apply a theory of social commitments to achieve a simplified and observable...
199
click to vote
TPHOL
2005
IEEE
16 years 7 days ago
2005
IEEE
The nominal approach to abstract syntax deals with the issues of bound names and α-equivalence by considering constructions and properties that are invariant with respect to permu...
147
click to vote
GECCO
2005
Springer
16 years 5 days ago
2005
Springer
We present the first hardware-in-the-loop evolutionary optimization on an ornithopter. Our experiments demonstrate the feasibility of evolving flight through genetic algorithms an...