5863 search results - page 747 / 1173 » On Model-Checking of P Systems |
207
Voted
MMM
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. We present a novel video retrieval system that accepts annotated freehand sketches as queries. Existing sketch based video retrieval (SBVR) systems enable the appearance ...
186
Voted
DAC
2012
ACM
13 years 9 months ago
2012
ACM
Addressing the challenges of extreme scale computing requires holistic design of new programming models and systems that support those models. This paper discusses the Angstrom pr...
157
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
The traditionally wired interfaces of many electronic systems are in many applications being replaced by wireless interfaces. Testing of electronic systems (both integrated circui...
163
Voted
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Networked virtual environments (NVEs) are computergenerated virtual worlds where users interact by exchanging messages via network connections. Each NVE user often pays attention ...
178
Voted
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...