5671 search results - page 293 / 1135 » A Semantic Approach to Interpolation |
174
click to vote
LPAR
2007
Springer
16 years 8 days ago
2007
Springer
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
134
Voted
VAMOS
2007
Springer
16 years 8 days ago
2007
Springer
Software products often need to vary in terms of functionality, but also in terms of quality attributes. We describe KumbangSec, which in an approach for modelling functional and ...
226
click to vote
IROS
2006
IEEE
16 years 5 days ago
2006
IEEE
— An important competence for a mobile robot system is the ability to localize and perform context interpretation. This is required to perform basic navigation and to facilitate ...
156
Voted
JCDL
2006
ACM
16 years 3 days ago
2006
ACM
The desire for definitive data and the semantic web drive for inference over heterogeneous data sources requires co-reference resolution to be performed on those data. In particul...
122
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
Evaluating GP schema in context is considered to be a complex, and, at times impossible, task. The tightly linked nodes of a GP tree is the main reason behind its complexity. This...