1631 search results - page 58 / 327 » Extreme Programming - Back to Basics |
114
Voted
IFIP
2010
Springer
15 years 7 months ago
2010
Springer
This work presents a study about the use of Laban Movement Analysis (LMA) as a robust tool to describe human basic behavior patterns, to be applied in human-machine interaction. LM...
119
click to vote
PPPJ
2004
ACM
15 years 8 months ago
2004
ACM
This paper discusses the current resurgence of interest in the Linda coordination language for parallel and distributed programming. Particularly in the Java field, there have be...
ACL
2010
2010
Minimized Models and Grammar-Informed Initialization for Supertagging with Highly Ambiguous Lexicons
15 years 17 days ago
We combine two complementary ideas for learning supertaggers from highly ambiguous lexicons: grammar-informed tag transitions and models minimized via integer programming. Each st...
139
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
I describe the mechanisation in HOL of some basic -calculus theory, using the axioms proposed by Gordon and Melham [4]. Using these as a foundation, I mechanised the proofs from C...
143
Voted
LICS
2010
IEEE
15 years 29 days ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...