Search Sciweavers | Sciweavers

3457 search results - page 148 / 692

» A Symbol Is Not a Symbol

160

click to vote

CHARME
2005
Springer

133views Hardware» more CHARME 2005»

Symbolic Partial Order Reduction for Rule Based Transition Systems

15 years 12 months ago

Download www.cs.utah.edu

Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. In this paper, we develop a partial order reduction algorithm for rule-bas...

Ritwik Bhattacharya, Steven M. German, Ganesh Gopa...

claim paper

Read More »

115

click to vote

GREC
2005
Springer

85views Computer Graphics» more GREC 2005»

Symbol Spotting in Technical Drawings Using Vectorial Signatures

15 years 12 months ago

Download www.cvc.uab.es

Marçal Rusiñol, Josep Lladós

claim paper

Read More »

145

click to vote

HYBRID
2005
Springer

106views Control Systems» more HYBRID 2005»

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

15 years 12 months ago

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

162

click to vote

ICIAP
2005
ACM

102views Image Processing» more ICIAP 2005»

Unsupervised Symbol Grounding and Cognitive Bootstrapping in Cognitive Vision

15 years 12 months ago

Download www.diee.unica.it

Richard Bowden, Liam Ellis, Josef Kittler, Mikhail...

claim paper

Read More »

148

click to vote

MEMBRANE
2005
Springer

92views Applied Computing» more MEMBRANE 2005»

Symbol/Membrane Complexity of P Systems with Symport/Antiport Rules

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers