2909 search results - page 28 / 582 » Consistency of the theory of contexts |
113
click to vote
MEMOCODE
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Theory propagation in Satisfiability Modulo Theories is crucial for the solver's performance. It is important, however, to pay particular care to the amount of deduc...
110
click to vote
ACL
1998
15 years 3 months ago
1998
Much of the power of probabilistic methods in modelling language comes from their ability to compare several derivations for the same string in the language. An important starting...
IWPC
2005
IEEE
15 years 7 months ago
2005
IEEE
Approximately 70% of the source code of a software system consists of identifiers. Hence, the names chosen as identifiers are of paramount importance for the readability of comp...
102
click to vote
ICCS
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. One of the main challenges of grid systems of large scale and data intensive is that of providing high availability and performance, in spite of the unreliability and del...
101
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Among the main issues of future technology-enhanced learning systems, we can mention the following ones: the ability to reuse learning resources (learning objects, tools and servic...