Sage Journals: Discover world-class research

Open access

Research article

First published 2007-2

SDSAT: Tight Integration of Small Domain Encoding and Lazy Approaches in Solving Difference Logic

Malay K. Ganai, Muralidhar Talupur, Aarti Gupta

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2006-7

Classification of symbolic objects: A lazy learning approach

Annalisa Appice, Claudia D'Amato, Floriana Esposito [...]

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2011-9

Lazy attribute selection: Choosing attributes at classification time

Rafael B. Pereira, Alexandre Plastino, Bianca Zadrozny [...]

Intelligent Data Analysis: An International Journal

Retricted access

Research article

First published 2026-5

Lazy Chaos A*: A novel chaos-inspired algorithm for efficient 3R robot arm path planning based on semi-known exploration behavior

Enass Hassan Flaieh, Amjad Jaleel Humaidi

Proceedings of the Institution of Mechanical Engineers,Part C: Journal of Mechanical Engineering Science

Open access

Research article

First published 2006-6

Modeling and Simulation of Elementary Robot Behaviors using Associative Memories

Claude F. Touzet

International Journal of Advanced Robotic Systems

Open access

Research article

First published 2004-3

Distributed Lazy Q-Learning for Cooperative Mobile Robots

Claude F. Touzet

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2012-2

Assessing mechanical loading regimes and fatigue life of marine power cables in marine energy applications

P R Thies, L Johanning, G H Smith

Proceedings of the Institution of Mechanical Engineers,Part O: Journal of Risk and Reliability

Retricted access

Research article

First published 2008-02

Throttled Lazy Cancellation in Time Warp Parallel Simulation

Hussam M. Soliman Ramadan

SIMULATION

Retricted access

Research article

First published 2012-8

Lazy Graph Transformation

Fernando Orejas, Leen Lambers

Fundamenta Informaticae

Open access

Research article

First published 2006-8

Efficient Solving of Large Non-linear Arithmetic Constraint Systems with Complex Boolean Structure 1

Martin Fränzle, Christian Herde, Tino Teige [...]

Journal on Satisfiability,Boolean Modelling and Computation

Search results