3838 search results - page 743 / 768 » The Autonomic Computing Paradigm |
132
Voted
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper presents a method which allows for merging beliefs expressed thanks to logic programming with stable model semantics. This method is based on the syntactic mer...
153
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
113
Voted
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
113
Voted
COMPGEOM
2009
ACM
15 years 10 months ago
2009
ACM
Nonlinear dimensionality reduction (NLDR) algorithms such as Isomap, LLE and Laplacian Eigenmaps address the problem of representing high-dimensional nonlinear data in terms of lo...
146
Voted
HT
2009
ACM
15 years 10 months ago
2009
ACM
The early Web was hailed for being easy to use, and what is more important, giving people a chance to participate in its growth. The Web3D was believed to have potential to be the...