Sciweavers

750 search results - page 84 / 150
» Desires, Norms and Constraints
Sort
View
ICSE
1995
IEEE-ACM
15 years 9 months ago
Deriving Specifications from Requirements: An Example
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
Michael Jackson, Pamela Zave
ATAL
2008
Springer
15 years 8 months ago
BnB-ADOPT: an asynchronous branch-and-bound DCOP algorithm
Distributed constraint optimization problems (DCOPs) are a popular way of formulating and solving agent-coordination problems. It is often desirable to solve DCOPs optimally with m...
William Yeoh, Ariel Felner, Sven Koenig
NIPS
2004
15 years 7 months ago
Triangle Fixing Algorithms for the Metric Nearness Problem
Various problems in machine learning, databases, and statistics involve pairwise distances among a set of objects. It is often desirable for these distances to satisfy the propert...
Inderjit S. Dhillon, Suvrit Sra, Joel A. Tropp
OPODIS
2004
15 years 7 months ago
Clock Synchronization for Wireless Networks
Abstract. Time synchronization is a fundamental service in many wireless applications. While the synchronization problem is well-studied in traditional wired networks, physical con...
Rui Fan, Indraneel Chakraborty, Nancy A. Lynch
CORR
2007
Springer
120views Education» more  CORR 2007»
15 years 6 months ago
Curve Tracking Control for Legged Locomotion in Horizontal Plane
— We derive a hybrid feedback control law for the lateral leg spring (LLS) model so that the center of mass of a legged runner follows a curved path in horizontal plane. The cont...
F. Zhang