Sciweavers

3718 search results - page 530 / 744
» Programming by Integration in Robotics
Sort
View
173
Voted
WSC
1997
15 years 8 months ago
System Concept Development with Virtual Prototyping
Virtual prototyping with 3D drawing programs provides a means of rapidly developing system concepts and analyzing them for form, fit, logistics, human factors integration, and gen...
James C. Schaaf Jr., Faye Lynn Thompson
BMCBI
2008
123views more  BMCBI 2008»
15 years 7 months ago
Ori-Finder: A web-based system for finding oriCs in unannotated bacterial genomes
Background: Chromosomal replication is the central event in the bacterial cell cycle. Identification of replication origins (oriCs) is necessary for almost all newly sequenced bac...
Feng Gao, Chun-Ting Zhang
CORR
2010
Springer
97views Education» more  CORR 2010»
15 years 7 months ago
Bin Packing via Discrepancy of Permutations
A well studied special case of bin packing is the 3-partition problem, where n items of size > 1 4 have to be packed in a minimum number of bins of capacity one. The famous Kar...
Friedrich Eisenbrand, Dömötör P&aac...
168
Voted
CORR
2008
Springer
137views Education» more  CORR 2008»
15 years 7 months ago
Combining generic judgments with recursive definitions
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
Andrew Gacek, Dale Miller, Gopalan Nadathur
CORR
2006
Springer
81views Education» more  CORR 2006»
15 years 7 months ago
Modeling Aspect Mechanisms: A Top-Down Approach
A plethora of aspect mechanisms exist today. All of these diverse mechanisms integrate concerns into artifacts that exhibit crosscutting structure. What we lack and need is a char...
Sergei Kojarski, David H. Lorenz