Sciweavers

2830 search results - page 437 / 566
» A Development Tool for E-learning Applications
Sort
View
WSC
2000
14 years 11 months ago
3D visualization of simulated construction operations
Significant advances have been made in the field of construction process modeling. However, no convenient graphical support tools exist that can depict the modeled operations in 3...
Vineet R. Kamat, Julio C. Martínez
WSC
1996
14 years 11 months ago
Modeling of Chain Conveyors and Their Equipment Interfaces
Chain conveyors are a specific type of conveyor often used in a variety of manufacturing and production applications, such as body and paint shops. These conveyors must typically ...
Ali K. Gunal, Edward J. Williams, Shigeru Sadakane
BIRTHDAY
2010
Springer
14 years 11 months ago
Inferring Loop Invariants Using Postconditions
One of the obstacles in automatic program proving is to obtain suitable loop invariants. The invariant of a loop is a weakened form of its postcondition (the loop's goal, als...
Carlo A. Furia, Bertrand Meyer
BMCBI
2007
97views more  BMCBI 2007»
14 years 10 months ago
In situ analysis of cross-hybridisation on microarrays and the inference of expression correlation
Background: Microarray co-expression signatures are an important tool for studying gene function and relations between genes. In addition to genuine biological co-expression, corr...
Tineke Casneuf, Yves Van de Peer, Wolfgang Huber
ECR
2007
116views more  ECR 2007»
14 years 10 months ago
Enabling assisted strategic negotiations in actual-world procurement scenarios
In the everyday business world, the sourcing process of multiple goods and services usually involves complex negotiations (via telephone, fax, etc) that include discussion of prod...
Jesús Cerquides, Maite López-S&aacut...