Sciweavers

899 search results - page 63 / 180
» Advancements in multicode optimization
Sort
View
GLVLSI
2005
IEEE
125views VLSI» more  GLVLSI 2005»
15 years 3 months ago
Low-power circuits using dynamic threshold devices
We present simulations for ultra-thin body, fully-depleted, double-gate (DG) silicon-on-insulator (SOI) devices that can be readily optimized for both static power loss and perfor...
Paul Beckett
WAOA
2005
Springer
84views Algorithms» more  WAOA 2005»
15 years 3 months ago
A Note on Semi-online Machine Covering
In the machine cover problem we are given m machines and n jobs to be assigned (scheduled) so that the smallest load of a machine is as large as possible. A semi-online algorithm i...
Tomás Ebenlendr, John Noga, Jiri Sgall, Ger...
CIARP
2004
Springer
15 years 3 months ago
Adaboost to Classify Plaque Appearance in IVUS Images
Intravascular Ultrasound images represent a unique tool to analyze the morphological vessel structures and make decisions about plaque presence. Texture analysis is a robust way to...
Oriol Pujol, Petia Radeva, Jordi Vitrià, Jo...
COORDINATION
1999
Springer
15 years 2 months ago
CLAM: Composition Language for Autonomous Megamodules
Advances in computer networks that support the invocation of remote services in heterogeneous environments enable new levels of software composition. In order to manage composition...
Neal Sample, Dorothea Beringer, Laurence Melloul, ...
DLOG
2001
14 years 11 months ago
Combining Tableaux and Algebraic Methods for Reasoning with Qualified Number Restrictions
This paper investigates an optimization technique for reasoning with qualified number restrictions in the description logic ALCQHR+ . We present a hybrid architecture where a stan...
Volker Haarslev, Martina Timmann, Ralf Möller