5851 search results - page 145 / 1171 » Coordination as a Direct Process |
124
click to vote
ICAIL
2007
ACM
15 years 6 months ago
2007
ACM
This paper describes the philosophy behind our tool called “Legal Taxonomy Syllabus”, the analytical instruments it provides and some case studies. The Legal Taxonomy Syllabus...
148
Voted
VMV
2000
15 years 6 months ago
2000
Anisotropic diffusion is known to be a powerful tool in image processing. It enables the smoothing of initially noisy images while still retaining, respectively sharpening edges a...
133
Voted
AROBOTS
2002
15 years 4 months ago
2002
Human speech provides a natural and intuitive interface for both communicating with humanoid robots as well as for teaching them. In general, the acoustic pattern of speech contain...
155
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
145
Voted
WEBENG
2001
Springer
15 years 9 months ago
2001
Springer
From a software engineering perspective the World Wide Web is a new application platform. The implementation model that the Web is based on makes it difficult to apply classic proc...