2702 search results - page 339 / 541 » Practically Applicable Formal Methods |
151
click to vote
FTCGV
2011
14 years 6 months ago
2011
Powerful statistical models that can be learned efficiently from large amounts of data are currently revolutionizing computer vision. These models possess a rich internal structur...
137
Voted
DEBS
2008
ACM
15 years 3 months ago
2008
ACM
Availability of an overlay network is a necessary condition for event delivery in event based systems. The availability of the overlay links depends on the underlying physical net...
122
click to vote
ICDCS
2010
IEEE
15 years 2 months ago
2010
IEEE
—Large-scale distributed cyber-physical systems will have many sensors/actuators (each with local micro-controllers), and a distributed communication/computing backbone with mult...
191
Voted
TMC
2012
13 years 5 months ago
2012
— While many protocols for sensor network security provide confidentiality for the content of messages, contextual information usually remains exposed. Such information can be c...
207
Voted
GIS
2008
ACM
16 years 3 months ago
2008
ACM
In order to provide context?aware Location?Based Services, real location data of mobile users must be collected and analyzed by spatio?temporal data mining methods. However, the d...