Sciweavers

1829 search results - page 269 / 366
» Towards Validation of Requirements Models
Sort
View
JUCS
2010
162views more  JUCS 2010»
15 years 5 months ago
Enabling Personal Privacy for Pervasive Computing Environments
: Protection of personal data in the Internet is already a challenge today. Users have to actively look up privacy policies of websites and decide whether they can live with the te...
Susana Alcalde Bagüés, Andreas Zeidler...
RULEML
2010
Springer
15 years 5 months ago
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
 The  main  source  of  changing  requirements  of  the  dynamic  business   environment  is  response  to  changes  in  regulations  and  contracts  towards  ...
Aqueo Kamada, Guido Governatori, Shazia Wasim Sadi...
JMLR
2010
119views more  JMLR 2010»
15 years 1 months ago
A Convergent Online Single Time Scale Actor Critic Algorithm
Actor-Critic based approaches were among the first to address reinforcement learning in a general setting. Recently, these algorithms have gained renewed interest due to their gen...
Dotan Di Castro, Ron Meir
ICDE
2004
IEEE
101views Database» more  ICDE 2004»
16 years 8 months ago
Personalization of Queries in Database Systems
As information becomes available in increasing amounts to a wide spectrum of users, the need for a shift towards a more user-centered information access paradigm arises. We develo...
Georgia Koutrika, Yannis E. Ioannidis
178
Voted
ISBI
2009
IEEE
16 years 1 months ago
Transrectal Ultrasound Prostate Biopsy Tracking with Efficient and Accurate Deformation Estimation
Prostate cancer is the most frequent cancer for men and the second cause of cancer death. Confirmation of cancer requires transrectal prostate biopsies. Tracking systems for tran...
Michael Baumann, Pierre Mozer, Vincent Daanen, Joc...