Search Sciweavers | Sciweavers

3457 search results - page 148 / 692

» A Symbol Is Not a Symbol

177

click to vote

CHARME
2005
Springer

133views Hardware» more CHARME 2005»

Symbolic Partial Order Reduction for Rule Based Transition Systems

16 years 16 days 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 »

121

click to vote

GREC
2005
Springer

85views Computer Graphics» more GREC 2005»

Symbol Spotting in Technical Drawings Using Vectorial Signatures

16 years 16 days ago

Download www.cvc.uab.es

Marçal Rusiñol, Josep Lladós

claim paper

Read More »

162

click to vote

HYBRID
2005
Springer

106views Control Systems» more HYBRID 2005»

Sensor/Actuator Abstractions for Symbolic Embedded Control Design

16 years 16 days ago

Download www.ee.ucla.edu

Paulo Tabuada

claim paper

Read More »

176

click to vote

ICIAP
2005
ACM

102views Image Processing» more ICIAP 2005»

Unsupervised Symbol Grounding and Cognitive Bootstrapping in Cognitive Vision

16 years 15 days ago

Download www.diee.unica.it

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

claim paper

Read More »

163

click to vote

MEMBRANE
2005
Springer

92views Applied Computing» more MEMBRANE 2005»

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

16 years 15 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers