5267 search results - page 828 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
153
click to vote
ESOP
2007
Springer
16 years 23 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
162
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...
149
click to vote
ICRA
1999
IEEE
15 years 11 months ago
1999
IEEE
Important robotic tasks could be most effectively done by powerful and accurate manipulators. However, high accuracy is generally unattainable in manipulators capable of producing...
221
click to vote
IGARSS
2009
15 years 4 months ago
2009
In this study, the authors investigate the use of hyperspectral imaging for food crop monitoring and contamination detection and characterization. The authors investigate the use ...
183
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
Social network analysis has attracted increasing attention in recent years. In many social networks, besides friendship links amongst users, the phenomenon of users associating th...