Sciweavers

8810 search results - page 18 / 1762
» Open. Closed. Open
Sort
View
ACMMSP
2006
ACM
257views Hardware» more  ACMMSP 2006»
14 years 4 months ago
Memory models for open-nested transactions
Open nesting provides a loophole in the strict model of atomic transactions. Moss and Hosking suggested adapting open nesting for transactional memory, and Moss and a group at Sta...
Kunal Agrawal, Charles E. Leiserson, Jim Sukha
KI
2008
Springer
13 years 10 months ago
Towards a Mapping from ERDF(S) to Take Vocabulary
This paper presents a mapping solution from ERDF(S) to Take vocabulary. The work is related to an investigation of integrating ERDF Derivation Rules into Take inference engine. Som...
Ion-Mircea Diaconescu, Adrian Giurca, Gerd Wagner,...

Publication
383views
15 years 11 months ago
The Cathedral and the Bazaar
Ever wondered why open source finally yields products that work? Eric Raymod discusses that in this paper using the bazaar as a metaphor for open source hacker developed software t...
Eric Raymond
AROBOTS
2006
174views more  AROBOTS 2006»
13 years 11 months ago
Area measurement of large closed regions with a mobile robot
How can a mobile robot measure the area of a closed region that is beyond its immediate sensing range? This problem, which we name as blind area measurement, is inspired from scout...
Erol Sahin, Sertan Girgin, Emre Ugur
EPIA
2007
Springer
14 years 5 months ago
Towards Tractable Local Closed World Reasoning for the Semantic Web
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
Matthias Knorr, José Júlio Alferes, ...