1636 search results - page 219 / 328 » Type-Theoretic Functional Semantics |
143
click to vote
ESORICS
2007
Springer
16 years 5 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...
125
click to vote
FORMATS
2007
Springer
16 years 5 days ago
2007
Springer
We identify a class of timed automata, which we call counter-free input-determined automata, which characterize the class of timed languages definable by several timed temporal l...
174
click to vote
NLDB
2007
Springer
16 years 4 days ago
2007
Springer
Information retrieval needs to match relevant texts with a given query. Selecting appropriate parts is useful when documents are long, and only portions are interesting to the user...
166
click to vote
ITNG
2006
IEEE
16 years 1 days ago
2006
IEEE
In this paper, still images are modeled by hierarchical tree structures and object relational graphs. These modeling concepts can be described naturally using XML schema. We intro...
197
click to vote
ACOM
2006
Springer
16 years 12 hour ago
2006
Springer
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...