Sciweavers

2530 search results - page 202 / 506
» Dynamic topological logic
Sort
View
FSKD
2009
Springer
103views Fuzzy Logic» more  FSKD 2009»
15 years 8 months ago
The Effect of Distance Metrics on Boosting with Dynamic Weighting Schemes
—This paper presents some preliminary experimental results on RegionBoost, which is a typical example of a class of Boosting algorithms based on dynamic weighting schemes. It is ...
Xinzhu Yang, Bo Yuan, Wenhuang Liu
130
Voted
CSFW
2009
IEEE
15 years 8 months ago
Specification and Analysis of Dynamic Authorisation Policies
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
Moritz Y. Becker
ASPDAC
1998
ACM
101views Hardware» more  ASPDAC 1998»
15 years 8 months ago
An Integrated Flow for Technology Remapping and Placement of Sub-half-micron Circuits
ABSTRACT - This paper presents a new design flow, FPDSiMPA, and a set of techniques for synthesizing high-performance sub-half micron logic circuits. FPD-SiMPA consists of logic p...
Jinan Lou, Amir H. Salek, Massoud Pedram
SAC
2010
ACM
15 years 5 months ago
A heterogeneous approach to service-oriented systems specification
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
Alexander Knapp, Grzegorz Marczynski, Martin Wirsi...
AGI
2008
15 years 5 months ago
How Might Probabilistic Reasoning Emerge from the Brain?
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
Ben Goertzel, Cassio Pennachin