Sciweavers

211 search results - page 18 / 43
» Cis-regulatory module detection using constraint programming
Sort
View
VTC
2007
IEEE
106views Communications» more  VTC 2007»
14 years 2 months ago
The BICM Capacity of Coherent Continuous-Phase Frequency Shift Keying
Abstract— This paper presents a methodology for determining the capacity of coherently detected continuousphase frequency shift keying (CPFSK) modulation under the constraints of...
Rohit Iyer Seshadri, Shi Cheng, Matthew C. Valenti
CADE
2011
Springer
12 years 7 months ago
Exploiting Symmetry in SMT Problems
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
David Déharbe, Pascal Fontaine, Stephan Mer...
COMSIS
2006
129views more  COMSIS 2006»
13 years 7 months ago
Constraint-Based Knowledge Representation for Individualized Instruction
Traditional knowledge representations were developed to encode complete, explicit and executable programs, a goal that makes them less than ideal for representing the incomplete an...
Stellan Ohlsson, Antonija Mitrovic
DKE
2010
112views more  DKE 2010»
13 years 7 months ago
An integer programming based approach for verification and diagnosis of workflows
Workflow analysis is indispensable to capture modeling errors in workflow designs. While several workflow analysis approaches have been defined previously, these approaches do not...
Rik Eshuis, Akhil Kumar
DAC
2009
ACM
14 years 8 months ago
O-Router:an optical routing framework for low power on-chip silicon nano-photonic integration
In this work, we present a new optical routing framework, O-Router for future low-power on-chip optical interconnect integration utilizing silicon compatible nano-photonic devices...
Duo Ding, Yilin Zhang, Haiyu Huang, Ray T. Chen, D...