Sciweavers

4477 search results - page 392 / 896
» Applications and Environments for Multi-agent Systems
Sort
View
WSC
2007
15 years 9 months ago
A hybrid inventory control system approach applied to the food industry
The appropriate production and inventory control policy is a key factor for modern enterprises’ success in competitive environment. In the food industry, most of food manufactur...
David Claudio, Jie Zhang, Ying Zhang
148
Voted
CSCWD
2005
Springer
16 years 9 days ago
A Web services based platform for exchange of procedural CAD models
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...
Xiang Chen, Min Li, Shuming Gao
ASE
2005
103views more  ASE 2005»
15 years 6 months ago
Component Verification with Automatically Generated Assumptions
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
Dimitra Giannakopoulou, Corina S. Pasareanu, Howar...
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
15 years 5 months ago
Extracting general-purpose features from LIDAR data
— The detection of features from Light Detection and Ranging (LIDAR) data is a fundamental component of featurebased mapping and SLAM systems. Existing detectors tend to exploit ...
Yangming Li, Edwin B. Olson
WORDS
2003
IEEE
16 years 1 days ago
Middleware Support for Multicast-based Data Dissemination: A Working Reality
Multicasting is an effective method to guarantee scalability of data transfer. Multicast applications range from the relief of Internet hot spots to healthcare alert systems. Much...
Panos K. Chrysanthis, Vincenzo Liberatore, Kirk Pr...