2186 search results - page 338 / 438 » Considering an Organization's Memory |
153
click to vote
LATIN
2010
Springer
16 years 25 days ago
2010
Springer
Concurrent compositions of recursive programs with finite a natural abstraction model for concurrent programs. Since reachability is undecidable for this class, a restricted form ...
138
click to vote
TEI
2009
ACM
16 years 24 days ago
2009
ACM
Musical harmony is considered to be one of the most and technically difficult parts of music. It is y taught formally via abstract, domain-specific concepts, principles, rules and...
143
click to vote
DATE
2009
IEEE
16 years 23 days ago
2009
IEEE
—We present an embedded software application for the real-time estimation of building occupancy using a network of video cameras. We analyze a series of alternative decomposition...
160
click to vote
IROS
2009
IEEE
16 years 19 days ago
2009
IEEE
Abstract— We consider the problem of robotic object detection of such objects as mugs, cups, and staplers in indoor environments. While object detection has made significant pro...
175
click to vote
INDOCRYPT
2009
Springer
16 years 16 days ago
2009
Springer
Wireless sensor network (WSN) commonly requires lower level security for public information gathering, whilst body sensor network (BSN) must be secured with strong authenticity to...