Sciweavers

2335 search results - page 277 / 467
» Type Checking Type Classes
Sort
View
104
Voted
RAS
2006
100views more  RAS 2006»
15 years 19 days ago
Sampling and node adding in probabilistic roadmap planners
The probabilistic roadmap approach is one of the leading motion planning techniques. Over the past decade the technique has been studied by many different researchers. This has le...
Roland Geraerts, Mark H. Overmars
89
Voted
SPE
2008
89views more  SPE 2008»
15 years 19 days ago
The Runabout
This paper presents a variation of the visitor pattern which allows programmers to write visitor-like code in a concise way. The Runabout is a library extension that adds a limited...
Christian Grothoff
CN
2000
107views more  CN 2000»
15 years 16 days ago
Concepts for improved visualization of Web link attributes
This paper discusses methods to generate and display automatically additional hyperlink information to the users of the World Wide Web. Current Web browsers make it hard to predic...
Harald Weinreich, Winfried Lamersdorf
99
Voted
SAJ
2000
129views more  SAJ 2000»
15 years 14 days ago
Conflict analysis as a means of enforcing static separation of duty requirements in workflow environments
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
Stephen Perelson, Reinhardt A. Botha
108
Voted
JOT
2010
114views more  JOT 2010»
14 years 11 months ago
Semantic Annotation for Java
This paper describes how to use annotation to provide semantic information. The applications include the automatic construction of a GUI so that the user input is constrained to a...
Douglas Lyon