Sciweavers

1064 search results - page 130 / 213
» Disjoint Systems (Extended Abstract)
Sort
View
186
Voted
ACII
2011
Springer
14 years 3 months ago
Expressive Gesture Model for Humanoid Robot
Abstract. This paper presents an expressive gesture model that generates communicative gestures accompanying speech for the humanoid robot Nao. The research work focuses mainly on ...
Le Quoc Anh, Catherine Pelachaud
CADE
2007
Springer
16 years 3 months ago
Dependency Pairs for Rewriting with Non-free Constructors
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...
Stephan Falke, Deepak Kapur
SEMWEB
2009
Springer
15 years 8 months ago
Reasoning about Resources and Hierarchical Tasks Using OWL and SWRL
Abstract. Military training and testing events are highly complex affairs, potentially involving dozens of legacy systems that need to interoperate in a meaningful way. There are s...
Daniel Elenius, David Martin, Reginald Ford, Grit ...
152
Voted
UML
2000
Springer
15 years 7 months ago
On the Extension of UML with Use Case Maps Concepts
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
Daniel Amyot, Gunter Mussbacher
134
Voted
GLOBECOM
2008
IEEE
15 years 4 months ago
User Selection for Multiple-Antenna Broadcast Channel with Zero-Forcing Beamforming
Abstract—This paper investigates the zero-forcing (ZF) beamforming transmit strategy in the multiple-antenna multiuser downlink systems. We consider the case of mobile users equi...
Saeed Kaviani, Witold A. Krzymien