224 search results - page 26 / 45 » A Formal Treatment of Context-Awareness |
141
click to vote
ICDAR
2009
IEEE
16 years 24 days ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
150
click to vote
QSIC
2009
IEEE
16 years 24 days ago
2009
IEEE
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
162
click to vote
ICRA
2007
IEEE
16 years 11 days ago
2007
IEEE
— Synthesis of robot behaviors towards nontrivial goals often requires reasoning about both discrete and continuous aspects of the underlying domain. Existing approaches in build...
143
click to vote
ESORICS
2007
Springer
16 years 7 days ago
2007
Springer
A formal treatment to the privacy of concealed data aggregation (CDA) is given. While there exist a handful of constructions, rigorous security models and analyses for CDA are stil...
138
click to vote
PROMAS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...