1988 search results - page 326 / 398 » Engineering formal metatheory |
165
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We describe a semantic imitation model of social tagging that integrates formal representations of semantics and a stochastic tag choice process to explain and predict emergent ...
127
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...
184
click to vote
NDSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Many existing privacy-preserving techniques for querying distributed databases of sensitive information do not scale for large databases due to the use of heavyweight cryptographi...
160
click to vote
ISORC
2009
IEEE
16 years 1 months ago
2009
IEEE
In his article entitled "From Play-In Scenarios to Code: An Achievable Dream", David Harel presented a development schema that makes it possible to go from high-level us...
160
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...