3823 search results - page 305 / 765 » Experiments with Random Projection |
134
click to vote
WIFT
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper I examine what industry really needs from formal specification techniques. I first describe the background to our use of formal techniques. I then look at the role o...
140
click to vote
GIR
2007
ACM
15 years 8 months ago
2007
ACM
This paper describes research being employed in the Tripod project to improve the retrieval of photographs through a comprehensive knowledge of where they were taken. The methods ...
123
click to vote
CAISE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we present an ontology-based approach to support interoperability in interorganizational applications. The ontology contains knowledge, coming from several ...
120
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
129
click to vote
IUSED
2008
15 years 6 months ago
2008
Permanent involvement of end users in software development is both highly recommended and highly challenging. Against the background of our results and experiences from two resear...