312 search results - page 58 / 63 » Model Compiler Construction Based on Aspect-Oriented Mechani... |
HRI
2006
ACM
14 years 1 months ago
2006
ACM
Programming robots to carry out useful tasks is both a complex and non-trivial exercise. A simple and intuitive method to allow humans to train and shape robot behaviour is clearl...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Scalable coordination is a key challenge in deployment of multiagent systems. Resource usage is one part of agent behavior which naturally lends itself to abstraction. CyberOrgs i...
ECCV
2004
Springer
14 years 26 days ago
2004
Springer
Alignment between the input and target objects has great impact on the performance of image analysis and recognition system, such as those for medical image and face recognition. A...
REFLECTION
2001
Springer
13 years 12 months ago
2001
Springer
, are to address what we perceive as the most pressing shortcomings of current reflective middleware platforms. First, performance: in the worst case, this needs to be on a par wit...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...