5681 search results - page 101 / 1137 » A Domain Model for eParticipation |
ASM
2008
ASM
15 years 2 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
120
click to vote
CIKM
2009
Springer
15 years 5 months ago
2009
Springer
Traditional ranking mainly focuses on one type of data source, and effective modeling still relies on a sufficiently large number of labeled or supervised examples. However, in m...
128
click to vote
DLOG
2000
15 years 2 months ago
2000
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete ...
TCC
2010
Springer
15 years 9 months ago
2010
Springer
We describe the first domain extender for ideal ciphers, i.e. we show a construction that is indifferentiable from a 2n-bit ideal cipher, given a n-bit ideal cipher. Our construc...
119
click to vote
DEXAW
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Search context is a crucial factor that helps to understand a user’s information need in ad-hoc Web page retrieval. A query log of a search engine contains rich inform...