16844 search results - page 3085 / 3369 » How to Design Programs |
204
click to vote
TPHOL
2007
IEEE
16 years 28 days ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
193
click to vote
CIKM
2007
Springer
16 years 25 days ago
2007
Springer
We present an evolutionary clustering method which can be applied to multi-relational knowledge bases storing resource annotations expressed in the standard languages for the Sema...
162
click to vote
ISSAC
2007
Springer
16 years 24 days ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
158
click to vote
LOPSTR
2007
Springer
16 years 24 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
177
click to vote
SEMWEB
2007
Springer
16 years 23 days ago
2007
Springer
Classical ontologies are not suitable to represent imprecise nor uncertain pieces of information. As a solution we will combine fuzzy Description Logics with a possibilistic layer....