1168 search results - page 151 / 234 » cases 2000 |
ESA
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. We develop a simple combinatorial algorithm for computing the smallest enclosing ball of a set of points in high dimensional Euclidean space. The resulting code is in mos...
ICICS
2003
Springer
15 years 3 months ago
2003
Springer
A group signature scheme allows a group member of a given group to sign messages on behalf of the group in an anonymous and unlinkable fashion. In case of a dispute, however, a des...
ROBOCUP
2001
Springer
15 years 2 months ago
2001
Springer
Team strategy acquisition is one of the most important issues of multiagent systems, especially in an adversary environment. RoboCup has been providing such an environment for AI a...
APSEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Current object-oriented formalisms, such as UML, focus on describing class models and use instance models only for depicting scenarios. Little attention is being devoted to defini...
ASWEC
2000
IEEE
15 years 2 months ago
2000
IEEE
Formal methods are becoming increasingly important in many areas of software development and should be incorporated in the teaching of software engineering. Requirements capture i...