Sciweavers

1993 search results - page 146 / 399
» On Action Theory Change
Sort
View
81
Voted
ICRA
2006
IEEE
104views Robotics» more  ICRA 2006»
15 years 6 months ago
Graphical Singularity Analysis of Planar Parallel Manipulators
- This paper introduces a new approach to identify singularities of planar parallel manipulators (PPMs). This method is based on Maxwell’s reciprocal figure theory which establis...
Amir Degani, Alon Wolf
BIRTHDAY
2005
Springer
15 years 6 months ago
Timing the Untimed: Terminating Successfully While Being Conservative
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
Jos C. M. Baeten, Mohammad Reza Mousavi, Michel A....
CIA
2004
Springer
15 years 6 months ago
On the Impact of Agent Communication Languages on the Implementation of Agent Systems
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
Juan Manuel Serrano, Sascha Ossowski
88
Voted
ENTCS
2008
64views more  ENTCS 2008»
15 years 23 days ago
General Refinement, Part Two: Flexible Refinement
In the previous, companion, paper [13] to this paper we introduced our general model of refinement, discussed ideas around determinism and interfaces that the general definition r...
Steve Reeves, David Streader
HICSS
2006
IEEE
109views Biometrics» more  HICSS 2006»
15 years 6 months ago
Towards Using Technological Support of Group Memory in Problem-Solving Situations to Improve Self- and Collective Efficacy
Bandura’s theories of self- and collective efficacy are widely recognized in many fields, including psychology and management, but have been largely unnoticed by the Human-Compu...
Christopher Paul Middup, Peter Johnson