7988 search results - page 1067 / 1598 » A Useful Undecidable Theory |
182
click to vote
RTSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
172
click to vote
APSCC
2007
IEEE
16 years 1 months ago
2007
IEEE
A suitable assignment of agents to handle the workload at a call center is not easy to fulfill because it requires a combinatorial optimization with large solution space and the n...
138
click to vote
ASAP
2007
IEEE
16 years 1 months ago
2007
IEEE
Because of the growing importance of decimal floating-point (DFP) arithmetic, specifications for it were recently added to the draft revision of the IEEE 754 Standard (IEEE P754)....
220
click to vote
BIBE
2007
IEEE
16 years 1 months ago
2007
IEEE
—A computational framework is presented for surface based morphometry to localize shape changes between groups of 3D objects. It employs the spherical harmonic (SPHARM) method fo...
183
click to vote
CEC
2007
IEEE
16 years 1 months ago
2007
IEEE
—Emergent behavior is an essential feature in multi-agent systems and plays a significant role in the applications of agent technology. Because of the huge gap between individual...