3053 search results - page 455 / 611 » Structured Objects: Modeling and Reasoning |
90
Voted
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
101
Voted
ICCAD
2001
IEEE
15 years 10 months ago
2001
IEEE
A mixed potential integral equation (MPIE) technique combined with fast multi-layer Green’s functions and Gaussian Jacobi high order techniques is used to compute the 3-D freque...
100
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
Self-organising multi-agent systems provide a suitable paradigm for developing autonomic computing systems that manage themselves. Towards this goal, we demonstrate a robust, dece...
133
click to vote
EDBTW
2010
Springer
15 years 8 months ago
2010
Springer
There has been lately an increased activity of publishing structured data in RDF due to the activity of the Linked Data community1 . The presence on the Web of such a huge informa...
LAWEB
2005
IEEE
15 years 7 months ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...