1445 search results - page 126 / 289 » Uniformly Hard Languages |
132
click to vote
FM
2008
Springer
15 years 5 months ago
2008
Springer
Declarative specifications exhibit a variety of problems, such as inadvertently overconstrained axioms and underconstrained conjectures, that are hard to diagnose with model checki...
119
click to vote
AAAI
2010
15 years 5 months ago
2010
We discuss challenges and opportunities for developing generalized task markets where human and machine intelligence are enlisted to solve problems, based on a consideration of th...
116
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
We investigated how indexed FOR-loops, such as the ones found in procedural programming languages, can be implemented in genetic programming. We use them to train programs that le...
141
click to vote
CONCURRENCY
2000
15 years 3 months ago
2000
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. This chapter is hard to interpret and po...
130
Voted
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
Presently, no methods exist that support the creation process of an industry taxonomy within a specific domain. Without such a method, taxonomies remain erroneous, making the deve...