Sciweavers

3856 search results - page 390 / 772
» Models for Automated Earthmoving
Sort
View
IJMSO
2007
76views more  IJMSO 2007»
15 years 6 months ago
Towards an automatic monitoring for higher education Learning Design
: The development of new Information Technologies have originated new possibilities to develop pedagogical methodologies that provide the necessary knowledge and skills in the High...
David Camacho, María Dolores Rodrígu...
SP
2002
IEEE
103views Security Privacy» more  SP 2002»
15 years 6 months ago
Methods and Limitations of Security Policy Reconciliation
A security policy specifies session participant requirements. However, existing frameworks provide limited facilities for the automated reconciliation of participant policies. Thi...
Patrick Drew McDaniel, Atul Prakash
243
Voted
BMCBI
2010
185views more  BMCBI 2010»
15 years 1 months ago
MetaPIGA v2.0: maximum likelihood large phylogeny estimation using the metapopulation genetic algorithm and other stochastic heu
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
Raphaël Helaers, Michel C. Milinkovitch
BMCBI
2011
15 years 1 months ago
R2R - software to speed the depiction of aesthetic consensus RNA secondary structures
Background: With continuing identification of novel structured noncoding RNAs, there is an increasing need to create schematic diagrams showing the consensus features of these mol...
Zasha Weinberg, Ronald R. Breaker
ER
2009
Springer
316views Database» more  ER 2009»
15 years 10 months ago
XMI2USE: A Tool for Transforming XMI to USE Specifications
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
Wuliang Sun, Eunjee Song, Paul C. Grabow, Devon M....