3571 search results - page 374 / 715 » Cohen and Set Theory |
154
click to vote
PEPM
2009
ACM
16 years 3 months ago
2009
ACM
Computation performed in many typical aspects involve side effects. In a purely functional setting, adding such aspects using techniques such as monadification will generally lea...
220
Voted
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. We propose a symbolic algorithm to accurately predict atomicity violations by analyzing a concrete execution trace of a concurrent program. We use both the execution trac...
378
click to vote
ARTCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—Soft Computing is an emerging field that consists of complementary elements of fuzzy logic, neural computing and evolutionary computation. Soft computing techniques have found w...
166
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
We propose a new perspective, seeing interactivity that is the immaterial part of an interactive artifact as something concretely describable and perceivable as we do with physica...
152
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We propose to model the development of language by a series of formal grammars, accounting for the linguistic capacity of children at the very early stages of mastering language. T...