Sciweavers

2529 search results - page 226 / 506
» The Logical Structure of Binding
Sort
View
NAR
2011
199views Computer Vision» more  NAR 2011»
14 years 9 months ago
FragmentStore - a comprehensive database of fragments linking metabolites, toxic molecules and drugs
Consideration of biomolecules in terms of their molecular building blocks provides valuable new information regarding their synthesis, degradation and similarity. Here, we present...
Jessica Ahmed, Catherine L. Worth, Paul Florian Th...
ECSQARU
2007
Springer
16 years 27 days ago
From DEL to EDL : Exploring the Power of Converse Events
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...
Guillaume Aucher, Andreas Herzig
DEON
2004
Springer
16 years 3 days ago
On Obligations and Abilities
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
Wojciech Jamroga, Wiebe van der Hoek, Michael Wool...
SEMWEB
2004
Springer
16 years 2 days ago
GridVine: Building Internet-Scale Semantic Overlay Networks
Abstract. This paper addresses the problem of building scalable semantic overlay networks. Our approach follows the principle of data independence by separating a logical layer, th...
Karl Aberer, Philippe Cudré-Mauroux, Manfre...
FCCM
1999
IEEE
122views VLSI» more  FCCM 1999»
15 years 11 months ago
Safe and Protected Execution for the Morph/AMRM Reconfigurable Processor
Technology scaling of CMOS processes brings relatively faster transistors (gates) and slower interconnects (wires), making viable the addition of reconfigurability to increase per...
Andrew A. Chien, Jay H. Byun