Sciweavers

69 search results - page 5 / 14
» Identifying refactoring opportunities by identifying depende...
Sort
View
CORR
2004
Springer
124views Education» more  CORR 2004»
13 years 7 months ago
On the existence of stable models of non-stratified logic programs
In this paper we analyze the relationship between cyclic definitions and consistency in GelfondLifschitz's answer sets semantics (initially defined as `stable model semantics...
Stefania Costantini
BMCBI
2011
12 years 11 months ago
Linear and non-linear dependencies between copy number aberrations and mRNA expression reveal distinct molecular pathways in Bre
Background: Elucidating the exact relationship between gene copy number and expression would enable identification of regulatory mechanisms of abnormal gene expression and biologi...
Hiroko K. Solvang, Ole Christian Lingjærde, ...
DATE
1998
IEEE
74views Hardware» more  DATE 1998»
13 years 12 months ago
State Relaxation Based Subsequence Removal for Fast Static Compaction in Sequential Circuits
We extend the subsequence removal technique to provide signi cantly higher static compaction for sequential circuits. We show that state relaxation techniques can be used to ident...
Michael S. Hsiao, Srimat T. Chakradhar
HICSS
2006
IEEE
82views Biometrics» more  HICSS 2006»
14 years 1 months ago
A Typology of Knowledge Management System Use by Teams
This essay sketches out a typology of knowledge management system use by teams. It is proposed that how a knowledge management system is framed and enacted by a team depends on (a...
Jean-Grégoire Bernard
WORDS
2003
IEEE
14 years 27 days ago
Improving Dependability of Service Oriented Architectures for Pervasive Computing
Service Oriented Programming - which combines Distributed Object Compunting, Component Based and webbased concepts - has recently emerged as a promising approach to develop dynami...
Domenico Cotroneo, Cristiano di Flora, Stefano Rus...