8810 search results - page 90 / 1762 » Open. Closed. Open |
193
click to vote
FOIKS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We extend the open answer set semantics for programs with generalized literals. Such extended programs (EPs) have interesting properties, e.g. the ability to express infi...
133
click to vote
COMPSAC
2001
IEEE
15 years 10 months ago
2001
IEEE
To support commercial-strength web development it is as important to utilize a process as it is in regular, non-web information systems development. Using an established OO/CBD de...
137
click to vote
IFIPTCS
2000
15 years 10 months ago
2000
Abstract The sos formats ensuring that bisimilarity is a congruence often fail in the presence of structural axioms on the algebra of states. Dynamic bisimulation, introduced to ch...
259
click to vote
ELPUB
2008
ACM
15 years 8 months ago
2008
ACM
This paper reports on an inquiry into the use of metadata, publishing formats, and markup in editormanaged open access journals. It builds on findings from a study of the document...
134
click to vote
BILDMED
2009
15 years 7 months ago
2009
Computer-assistance in coronary artery bypass grafting at the open heart with intraoperative navigation enables accurate placement of a bypass graft to a preoperatively planned ana...