5863 search results - page 1152 / 1173 » On Model-Checking of P Systems |
ECAI
2006
Springer
14 years 27 days ago
2006
Springer
Abstract. Searle represents constitutive norms as count-as conditionals, written as `X counts as Y in context C'. Grossi et al. study a class of these conditionals as `in cont...
CIVR
2008
Springer
14 years 22 days ago
2008
Springer
Recent content-based video retrieval systems combine output of concept detectors (also known as high-level features) with text obtained through automatic speech recognition. This ...
CLEF
2008
Springer
14 years 22 days ago
2008
Springer
GeoCLEF is an evaluation initiative for testing queries with a geographic specification in large set of text documents. GeoCLEF ran a regular track for the third time within the C...
HVEI
2010
14 years 12 days ago
2010
Perceptual image distortion measures can play a fundamental role in evaluating and optimizing imaging systems and image processing algorithms. Many existing measures are formulate...
DGO
2008
14 years 12 days ago
2008
Much information that could help solve and prevent crimes is never gathered because the reporting methods available to citizens and law enforcement personnel are not optimal. Dete...