2661 search results - page 109 / 533 » A Semantics for Abstraction |
150
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
190
click to vote
IJHPCA
2002
15 years 6 months ago
2002
Distributed cognition of dynamic processes is commonly observed in mobile groups of animates like schools of fish, hunting lions, or in human teams for sports or military maneuvers...
162
click to vote
ICMCS
2005
IEEE
16 years 2 days ago
2005
IEEE
In this paper, we present a method of semantic knowledge building for image database by extracting semantic meanings from Web page contents. The novelty of our method is that it i...
171
click to vote
SETN
2010
Springer
16 years 29 days ago
2010
Springer
Abstract. In this paper we are dealing with the task of adding domainspecific semantic tags to a document, based solely on the domain ontology and generic lexical and Web resource...
151
click to vote
TYPES
2007
Springer
16 years 18 days ago
2007
Springer
Abstract. We propose syntax and semantics for systems of intuitionistic and classical first order dependently sorted logic, with and withlity, retaining type dependency, but other...