4139 search results - page 374 / 828 » Designing and Implementing Combinator Languages |
193
click to vote
ISSTA
2004
ACM
16 years 27 days ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
204
click to vote
POS
1998
Springer
15 years 11 months ago
1998
Springer
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
194
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
While there has been much work on developing frameworks and models of norms and normative systems, consideration of the impact of norms on the practical reasoning of agents has at...
197
Voted
LREC
2010
15 years 9 months ago
2010
Today's natural language processing systems are growing more complex with the need to incorporate a wider range of language resources and more sophisticated statistical metho...
188
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
The primary target of this work is human-robot collaboration, especially for service robots in complicated application scenarios. Three assumptions and four requirements are ident...