7619 search results - page 50 / 1524 » Interaction, observance or both |
POPL
1997
ACM
14 years 3 months ago
1997
ACM
We investigateparametric polymorphism in message-basedconcurrentprogramming, focusing on behavioral equivalences in a typed process calculus analogous to the polymorphic lambdacal...
ICIP
1995
IEEE
15 years 17 days ago
1995
IEEE
Magnetic resonance spectroscopic imaging (MRSI) is a type of MRI in which both spatial and spectral information are gathered. Unfortunately, the time required to acquire a high-re...
SIGCSE
2009
ACM
14 years 11 months ago
2009
ACM
It is difficult for instructors of CS1 and CS2 courses to get accurate answers to such critical questions as "how long are students spending on programming assignments?"...
SAT
2005
Springer
14 years 4 months ago
2005
Springer
We introduce two incomplete polynomial time algorithms to solve satisfiability problems which both use Linear Programming (LP) techniques. First, the FlipFlop LP attempts to simul...
LREC
2010
14 years 18 days ago
2010
In this paper we explore the potential and limitations of a concept of building a bilingual valency lexicon based on the alignment of nodes in a parallel treebank. Our aim is to b...