Search Sciweavers | Sciweavers

3457 search results - page 148 / 692

» A Symbol Is Not a Symbol

click to vote

CHARME
2005
Springer

133views Hardware» more CHARME 2005»

Symbolic Partial Order Reduction for Rule Based Transition Systems

15 years 6 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 »

click to vote

GREC
2005
Springer

85views Computer Graphics» more GREC 2005»

Symbol Spotting in Technical Drawings Using Vectorial Signatures

15 years 6 months ago

Download www.cvc.uab.es

Marçal Rusiñol, Josep Lladós

claim paper

Read More »

Voted

HYBRID
2005
Springer

106views Control Systems» more HYBRID 2005»

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

15 years 6 months ago

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

click to vote

ICIAP
2005
ACM

102views Image Processing» more ICIAP 2005»

Unsupervised Symbol Grounding and Cognitive Bootstrapping in Cognitive Vision

15 years 6 months ago

Download www.diee.unica.it

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

claim paper

Read More »

Voted

MEMBRANE
2005
Springer

92views Applied Computing» more MEMBRANE 2005»

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers