Sciweavers

1581 search results - page 68 / 317
» Domain semantics of possibility computations
Sort
View
BMCBI
2007
102views more  BMCBI 2007»
13 years 10 months ago
Understanding and using the meaning of statements in a bio-ontology: recasting the Gene Ontology in OWL
The bio-ontology community falls into two camps: first we have biology domain experts, who actually hold the knowledge we wish to capture in ontologies; second, we have ontology s...
Mikel Egaña Aranguren, Sean Bechhofer, Phil...
VLSID
2002
IEEE
177views VLSI» more  VLSID 2002»
14 years 10 months ago
RTL-Datapath Verification using Integer Linear Programming
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
Raik Brinkmann, Rolf Drechsler
EACL
1993
ACL Anthology
13 years 11 months ago
Resolving Zero Anaphora in Japanese
The paper presents a computational theory for resolving Japanese zero anaphora, based on the notion of discourse segment. We see that the discourse segment reduces the domain of a...
Tadashi Nomoto, Yoshihiko Nitta
VL
2010
IEEE
196views Visual Languages» more  VL 2010»
13 years 8 months ago
Smart Objects for Intelligent Applications - ADK
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...
Jesus Fernandez Gomez-Pimpollo, Raul Otaolea
POLICY
2007
Springer
14 years 4 months ago
Policy-Driven Negotiation for Authorization in the Grid
In many Grid services deployments, the clients and servers reside in different administrative domains. Hence, there is a requirement both to discover each other’s authorization ...
Ionut Constandache, Daniel Olmedilla, Frank Sieben...