1356 search results - page 201 / 272 » A variable-free dynamic semantics |
119
click to vote
HCI
2007
15 years 5 months ago
2007
Understanding the dynamics of knowledge diffusion has profound theoretical and practical implications across a wide variety of domains, ranging from scientific disciplines to educa...
163
click to vote
DBSEC
2006
15 years 5 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
136
click to vote
FMOODS
2006
15 years 5 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
130
click to vote
WEBNET
2001
15 years 5 months ago
2001
: The Web is huge, unstructured and diverse in quality, which makes searching for information difficult. In practice, few of the documents returned by a search engine are valuable ...
137
click to vote
AAAI
1996
15 years 5 months ago
1996
Overcoming the disadvantages of equidistant discretization of continuous actions, we introduce an approach that separates time into slices of varying length bordered by certain ev...