Sciweavers

2154 search results - page 231 / 431
» On the notion of concept I
Sort
View
HASKELL
2008
ACM
15 years 2 months ago
A library for light-weight information-flow security in haskell
Protecting confidentiality of data has become increasingly important for computing systems. Information-flow techniques have been developed over the years to achieve that purpos...
Alejandro Russo, Koen Claessen, John Hughes
ACMDIS
2010
ACM
15 years 1 months ago
Open design spaces: socially crafting interactive experiences
Abstract. Engaging end-users and user communities to take an active part in the cocreation, evolution, and appropriation of modern, interactive systems has become an increasingly i...
Steffen Budweg, Sebastian Draxler, Steffen Lohmann...
CORR
2010
Springer
94views Education» more  CORR 2010»
15 years 1 months ago
Discovery of Convoys in Trajectory Databases
As mobile devices with positioning capabilities continue to proliferate, data management for so-called trajectory databases that capture the historical movements of populations of...
Hoyoung Jeung, Man Lung Yiu, Xiaofang Zhou, Christ...
CORR
2010
Springer
68views Education» more  CORR 2010»
15 years 1 months ago
On the Rationality of Escalation
Escalation is a typical feature of infinite games. Therefore tools conceived for studying infinite mathematical structures, namely those deriving from coinduction are essential. H...
Pierre Lescanne, Perrinel Matthieu
114
Voted
FSS
2008
127views more  FSS 2008»
15 years 1 months ago
On the computing power of fuzzy Turing machines
We work with fuzzy Turing machines (FTMs) and we study the relationship between this computational model and classical recursion concepts such as computable functions, recursively...
Benjamín René Callejas Bedregal, San...