Sciweavers

1838 search results - page 309 / 368
» Process modelling: the deontic way
Sort
View
APGV
2008
ACM
145views Visualization» more  APGV 2008»
15 years 1 months ago
On optimal resampling of view and illumination dependent textures
The use of illumination and view dependent textural information is one way to capture the realistic appearance of genuine materials. One example of such data is the bidirectional ...
Jirí Filip, Mike J. Chantler, Michal Haindl
ERLANG
2008
ACM
15 years 1 months ago
Testing Erlang data types with quviq quickcheck
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
Thomas Arts, Laura M. Castro, John Hughes
ATMOS
2007
129views Optimization» more  ATMOS 2007»
15 years 25 days ago
Applied Railway Optimization in Production Planning at DSB S-tog - tasks, tools and challenges
Efficient public transportation is becoming increasingly vital for modern capitals. DSB S-tog a/s is the major supplier of rail traffic on the infrastructure of the city-rail netwo...
Jens Clausen
FMICS
2008
Springer
15 years 25 days ago
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
Virginia Papailiopoulou, Laya Madani, Lydie du Bou...
INFOSCALE
2007
ACM
15 years 25 days ago
A model-based WiFi localization method
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
Dik Lun Lee, Qiuxia Chen