11063 search results - page 315 / 2213 » On the existence of universal models |
206
click to vote
EUROSSC
2006
Springer
15 years 10 months ago
2006
Springer
Despite many years of ubiquitous computing (ubicomp) middleware research, deployment of such systems has not been widespread. We suggest this is in part because we lack a shared mo...
223
click to vote
WSC
1997
15 years 8 months ago
1997
The role of modeling and simulation is receiving much press of late. However, the lack of practice in employing a link between the two is alarming. A static model is used to under...
209
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
A bug report is typically assigned to a single developer who is then responsible for fixing the bug. In Mozilla and Eclipse, between 37%-44% of bug reports are "tossed" ...
159
click to vote
APAL
2010
15 years 6 months ago
2010
A well-known polymodal provability logic GLP is complete w.r.t. the arithmetical semantics where modalities correspond to reflection principles of restricted logical complexity in...
179
click to vote
ICCV
2005
IEEE
16 years 8 months ago
2005
IEEE
This paper introduces a simple and efficient representation for natural images. We partition an image into blocks and treat the blocks as vectors in a high-dimensional space. We t...