3954 search results - page 397 / 791 » Image-based Model Completion |
144
click to vote
ISPASS
2006
IEEE
15 years 11 months ago
2006
IEEE
SimPoint is a technique used to pick what parts of the program’s execution to simulate in order to have a complete picture of execution. SimPoint uses data clustering algorithms...
121
click to vote
IAT
2005
IEEE
15 years 10 months ago
2005
IEEE
Our previous research presents a methodology of cooperative problem solving for BDI systems, based on a complete formal theory. This covers both a static part, defining individua...
132
Voted
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Web Service protocol standards should be unambiguous and provide a complete description of the allowed behavior of the protocols’ participants. Implementation of such protocols ...
136
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
Labeling faces in news video with their names is an interesting research problem which was previously solved using supervised methods that demand significant user efforts on lab...
155
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
One of the difficulties to adapt MDPs for the control of cooperative multi-agent systems, is the complexity issued from Decentralized MDPs. Moreover, existing approaches can not ...