215 search results - page 11 / 43 » Church-Rosser Made Easy |
EDM
2009
13 years 5 months ago
2009
In this paper, we present a study of a large corpus of student logic exercises in which we explore the relationship between two distinct measures of difficulty: the proportion of s...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Nearly 70% of information security threats originate from inside the organization. The instances of insider threats have been increasing at an alarming rate with the latest trends ...
WSOM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We apply a recent formalization of visualization as information retrieval to linear projections. We introduce a method that optimizes a linear projection for an informati...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper considers discrete-time periodic linear systems and their Floquet transformations, by which the periodic systems can be equivalently transformed to time-invariant on...
AGILEDC
2007
IEEE
14 years 1 months ago
2007
IEEE
By now it is common knowledge that it’s just as easy for a team to fail using agile practices as it is with waterfall or any other method for building software. So what is the s...