Sciweavers

1757 search results - page 180 / 352
» Alternating Refinement Relations
Sort
View
JSW
2007
126views more  JSW 2007»
15 years 3 months ago
Supporting UML Sequence Diagrams with a Processor Net Approach
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
Tony Spiteri Staines
TVLSI
2008
74views more  TVLSI 2008»
15 years 3 months ago
Stack Sizing for Optimal Current Drivability in Subthreshold Circuits
Subthreshold circuit designs have been demonstrated to be a successful alternative when ultra-low power consumption is paramount. However, the characteristics of MOS transistors in...
John Keane, Hanyong Eom, Tae-Hyoung Kim, Sachin S....
144
Voted
ARSCOM
2004
75views more  ARSCOM 2004»
15 years 3 months ago
On Theorems Equivalent with Kotzig's Result on Graphs with Unique 1-Factors
We show that several known theorems on graphs and digraphs are equivalent. The list of equivalent theorems include Kotzig's result on graphs with unique 1-factors, a lemma by...
Stefan Szeider
128
Voted
CORR
2004
Springer
92views Education» more  CORR 2004»
15 years 3 months ago
Tournament versus Fitness Uniform Selection
1 In evolutionary algorithms a critical parameter that must be tuned is that of selection pressure. If it is set too low then the rate of convergence towards the optimum is likely...
Shane Legg, Marcus Hutter, Akshat Kumar
152
Voted
JODL
2000
124views more  JODL 2000»
15 years 3 months ago
ScholOnto: an ontology-based digital library server for research documents and discourse
The internet is rapidly becoming the first place for researchers to publish documents, but at present they receive little support in searching, tracking, analyzing or debating conc...
Simon Buckingham Shum, Enrico Motta, John Domingue