3053 search results - page 455 / 611 » Structured Objects: Modeling and Reasoning |
106
Voted
PLDI
2010
ACM
16 years 1 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...
116
Voted
ICCAD
2001
IEEE
16 years 17 days 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...
115
Voted
ATAL
2009
Springer
15 years 10 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...
147
Voted
EDBTW
2010
Springer
15 years 10 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...
109
Voted
LAWEB
2005
IEEE
15 years 9 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...