Sciweavers

3432 search results - page 53 / 687
» Model Development in the UML-based Specification Environment...
Sort
View
ENTCS
2010
103views more  ENTCS 2010»
13 years 6 months ago
Model Testing Asynchronously Communicating Objects using Modulo AC Rewriting
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
Olaf Owe, Martin Steffen, Arild B. Torjusen
WSC
1996
13 years 10 months ago
Supporting Manufacturing with Simulation: Model Design, Development, and Deployment
In this paper, we identify and discuss the features we believe are key to the successful use of simulation as a manufacturing support tool. The discussion begins with three sample...
Frank Chance, Jennifer Robinson, John W. Fowler
CVPR
2007
IEEE
14 years 7 months ago
Partially Occluded Object-Specific Segmentation in View-Based Recognition
We present a novel object-specific segmentation method which can be used in view-based object recognition systems. Previous object segmentation approaches generate inexact results ...
Minsu Cho (Seoul National University), Kyoung Mu L...
JASIS
2007
119views more  JASIS 2007»
13 years 8 months ago
Visualization of the citation impact environments of scientific journals: An online mapping exercise
Aggregated journal-journal citation networks based on the Journal Citation Reports 2004 of the Science Citation Index (5968 journals) and the Social Science Citation Index (1712 j...
Loet Leydesdorff
ECIS
2004
13 years 10 months ago
Inserting ICT and IS in a complex organisational environment using an organisational learning model
Within the last few years, knowledge management has become one of the hottest subjects among organisational and information systems theorists and practitioners. Many find in it an...
Silvina Santana