Sciweavers

864 search results - page 116 / 173
» Significant Lexical Relationships
Sort
View
ACSD
2003
IEEE
105views Hardware» more  ACSD 2003»
14 years 1 months ago
Detecting State Coding Conflicts in STG Unfoldings Using SAT
Abstract. The behaviour of asynchronous circuits is often described by Signal Transition Graphs (STGs), which are Petri nets whose transitions are interpreted as rising and falling...
Victor Khomenko, Maciej Koutny, Alexandre Yakovlev
TOOLS
1998
IEEE
14 years 1 months ago
Designing Persistent Object-Oriented Software Architectures
Conventional object-oriented analysis delivers a business object model, which is transformed during design into collaborating class clusters which implement the business model...
Paul Taylor
FM
1991
Springer
164views Formal Methods» more  FM 1991»
14 years 1 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin
BIBM
2009
IEEE
140views Bioinformatics» more  BIBM 2009»
14 years 1 months ago
A Protein-Protein Interaction Prediction Method Embracing Intra-protein Domain Cohesion Information
Recently, many computational methods for predicting protein-protein interaction (PPI) have been developed by utilizing domain-domain interaction or associated information. However...
Woo-Hyuk Jang, Suk Hoon Jung, Bo-ra Hyun, Dong-Soo...
AAAI
2008
14 years 4 days ago
A Case Study on the Critical Role of Geometric Regularity in Machine Learning
An important feature of many problem domains in machine learning is their geometry. For example, adjacency relationships, symmetries, and Cartesian coordinates are essential to an...
Jason Gauci, Kenneth O. Stanley