5216 search results - page 933 / 1044 » Planning as Model Checking |
211
Voted
CA
2003
IEEE
16 years 5 days ago
2003
IEEE
— Using a single camera, we capture video of multiple people walking in an open area and insert a moving synthetic character into the scene. The people are located in the video u...
169
click to vote
DATE
2003
IEEE
16 years 4 days ago
2003
IEEE
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
157
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Many large companies around the world have made considerable investment in enterprise resource planning (ERP) systems to support their business processes. Many of these companies ...
190
click to vote
ICSM
2003
IEEE
16 years 4 days ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
329
Voted
IEEEPACT
2003
IEEE
16 years 4 days ago
2003
IEEE
Computers have changed the way we live, work, and even recreate. Now, they are transforming how we think about and treat human disease. In particular, advanced techniques in biome...