1937 search results - page 106 / 388 » Starting B Specifications from Use Cases |
124
click to vote
ECCV
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We develop new mathematical results based on the spherical harmonic convolution framework for reflection from a curved surface. We derive novel identities, which are the ...
141
Voted
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
We prove that the hit-and-run random walk is rapidly mixing for an arbitrary logconcave distribution starting from any point in the support. This extends the work of [26], where t...
152
click to vote
RSP
2005
IEEE
15 years 10 months ago
2005
IEEE
Our software synthesis tool, CSP++, generates C++ source code from verifiable CSPm specifications, and includes a framework for runtime execution. Our technique of selective for...
114
click to vote
ICCBR
1999
Springer
15 years 8 months ago
1999
Springer
Case Based Reasoning has found increasing application on the Internet as an assistant in Internet commerce stores and as a reasoning agent for online technical support. The strengt...
146
click to vote
JUCS
2007
15 years 4 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...