1487 search results - page 162 / 298 » The Computational Complexity of Link Building |
140
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major...
129
click to vote
WIAMIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Computer vision systems for human-computer interaction have tended towards more precise forms of interface that require complex vision tasks such as segmentation, tracking, object...
137
click to vote
NICSO
2010
Springer
15 years 11 months ago
2010
Springer
We investigate the search properties of pre-evolutionary random catalytic reaction networks, where reactions might be reversible, and replication is not taken for granted. Since it...
131
Voted
WMCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
The development of sensing systems for urban deployments is still in its infancy. An interesting unresolved issue is the precise role assumed by people within such systems. This i...
136
Voted
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...