2186 search results - page 299 / 438 » Considering an Organization's Memory |
153
click to vote
FORTE
2008
15 years 7 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
165
click to vote
ISUVR
2007
15 years 7 months ago
2007
— When types of communication between people are observed, one can see that communication not only consist of words but also, contextual communication consist of facial expressio...
148
click to vote
NIPS
2007
15 years 7 months ago
2007
We present a framework for active learning in the multiple-instance (MI) setting. In an MI learning problem, instances are naturally organized into bags and it is the bags, instea...
131
click to vote
SEC
2007
15 years 7 months ago
2007
Data outsourcing is emerging today as a successful solution for organizations looking for a cost-effective way to make their data available for on-line querying. To protect outsou...
166
click to vote
ESANN
2006
15 years 7 months ago
2006
Abstract. Despite several previous studies, little progress has been made in building successful neural systems for image segmentation in digital hardware. Spiking neural networks ...