Sciweavers

1597 search results - page 265 / 320
» A Design Method for Object-Oriented Programming
Sort
View
124
Voted
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
15 years 2 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
118
Voted
WAIM
2010
Springer
15 years 2 months ago
Mining Contrast Inequalities in Numeric Dataset
Finding relational expressions which exist frequently in one class of data while not in the other class of data is an interesting work. In this paper, a relational expression of th...
Lei Duan, Jie Zuo, Tianqing Zhang, Jing Peng, Jie ...
202
Voted
HCI
2011
14 years 7 months ago
Body Buddies: Social Signaling through Puppeteering
While virtual worlds have evolved to provide a good medium for social communication, they are very primitive in their social and affective communication design. The social communic...
Magy Seif El-Nasr, Katherine Isbister, Jeffery Ven...
141
Voted
CEC
2011
IEEE
14 years 3 months ago
Inferring transcriptional regulators for sets of co-expressed genes by multi-objective evolutionary optimization
Abstract—Higher organisms are able to respond to continuously changing external conditions by transducing cellular signals into specific regulatory programs, which control gene ...
Adrian Schröder, Clemens Wrzodek, Johannes Wo...
174
Voted
WABI
2009
Springer
142views Bioinformatics» more  WABI 2009»
15 years 10 months ago
Back-Translation for Discovering Distant Protein Homologies
Background: Frameshift mutations in protein-coding DNA sequences produce a drastic change in the resulting protein sequence, which prevents classic protein alignment methods from ...
Marta Gîrdea, Laurent Noé, Gregory Ku...