Sciweavers

2000 search results - page 321 / 400
» The Dynamics of Syntactic Knowledge
Sort
View
TIME
1999
IEEE
15 years 9 months ago
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
Patrick Doherty, Jonas Kvarnström
HASE
1998
IEEE
15 years 9 months ago
Formal Specification in Collaborative Design of Critical Software Tools
Engineers use software tools to analyze designs for critical systems. Because important decisions are based on tool results, tools must provide valid modeling constructs; engineer...
David Coppit, Kevin J. Sullivan
ICNP
1998
IEEE
15 years 9 months ago
Receiver-based Multicast Scoping: A New Cost-Conscious Join/Leave Paradigm
In Internet multicast, the set of receivers can be dynamic with receivers joining and leaving a group asynchronously and without the knowledge of the sources. The Internet today u...
George F. Riley, Mostafa H. Ammar, Lenitra M. Clay
ICRA
1998
IEEE
89views Robotics» more  ICRA 1998»
15 years 9 months ago
Parallel Microassembly with Electrostatic Force Fields
Assembly is a fundamental issue in the volume production of products that include microscopic submillimeter parts. These parts are often fabricated in parallel at high density but...
Karl-Friedrich Böhringer, Kenneth Y. Goldberg...
KI
1998
Springer
15 years 9 months ago
The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies
Case-based approaches are employed within a multitude of application areas one of which is the prediction of dynamic behaviour. Given a situation the possible development after a ...
Alexander Seitz, Adelinde Uhrmacher