3937 search results - page 652 / 788 » Questioning Ubiquitous Computing |
CDC
2009
IEEE
14 years 22 days ago
2009
IEEE
— A main difficulty for orbit determination of space debris is the correlation of tracks of data belonging to the same physical object. A sequence of optical measurements of an ...
MIG
2009
Springer
14 years 17 days ago
2009
Springer
There are various techniques for simulating crowds, however, in most cases the quality of the simulation is measured by examining its “look-and-feel”. Even if the aggregate mov...
OOPSLA
2009
Springer
14 years 17 days ago
2009
Springer
During its formative decades the software community looked twice to the theories of ChristopherAlexander for inspiration, both times failing to completely master the architect’s...
CAV
2001
Springer
14 years 15 days ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
CIA
2001
Springer
14 years 15 days ago
2001
Springer
We consider marketplaces where buyers and sellers iteratively encounter to trade. Given some specific trade conditions, the question that we address is what strategies should buy...