7861 search results - page 374 / 1573 » Orthographic Modeling Environment |
141
Voted
BC
2000
15 years 6 months ago
2000
A computational model of the lesion and single unit data from navigation in rats is reviewed. The model uses external (visual) and internal (odometric) information from the environ...
158
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Tracking multiple people in a dynamic environment is important in many applications. Recent research in this area has focused either on geometric analysis or appearance models. In...
159
Voted
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
183
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
In a Grid computing environment, resources are shared among a large number of applications. Brokers and schedulers find matching resources and schedule the execution of the applic...
177
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Self-adaptive systems should autonomously adapt at run time to changes in their operational environment, guided by the goals assigned by their stakeholders. We present a tool that...