2153 search results - page 279 / 431 » From Requirements Models to Formal Specifications in B |
183
click to vote
PRESENCE
2008
15 years 6 months ago
2008
Surgical simulators present a safe and potentially effective method for surgical training, and can also be used in robot-assisted surgery for pre- and intra-operative planning. Ac...
200
click to vote
KDD
2004
ACM
16 years 6 months ago
2004
ACM
In a wide range of business areas dealing with text data streams, including CRM, knowledge management, and Web monitoring services, it is an important issue to discover topic tren...
268
click to vote
ICDE
2008
IEEE
16 years 7 months ago
2008
IEEE
The problem of privacy-preserving data mining has been studied extensively in recent years because of the increased amount of personal information which is available to corporation...
223
click to vote
TASLP
2010
15 years 1 months ago
2010
Abstract-- In many research fields of engineering and acoustics, the image-source model represents one of the most popular tools for the simulation of sound fields in virtual rever...
164
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Retrieving images in response to textual queries requires some knowledge of the semantics of the picture. Here, we show how we can do both automatic image annotation and retrieval...