Sciweavers

904 search results - page 62 / 181
» Towards practical meta-querying
Sort
View
ICASSP
2010
IEEE
13 years 10 months ago
Beyond Doddington menagerie, a first step towards
During the last decade, speaker verification systems have shown significant progress and have reached a level of performance and accuracy that support their utilization in pract...
Juliette Kahn, Solange Rossato, Jean-Franço...
ISEM
2008
101views more  ISEM 2008»
13 years 10 months ago
Towards decision support for participatory democracy
In many parts of the world there is a growing demand for participation in public policy decision making. This demand could be satisfied by the design and deployment of webbased gr...
David Ríos Insua, Gregory E. Kersten, Jesus...
NJC
2006
57views more  NJC 2006»
13 years 10 months ago
Towards Unambiguous Model Fragments
In model based design model fragments are used in everyday work. Concurrent operations on separate parts of a model and communication between stakeholders are some examples. Howeve...
Mika Siikarla, Jari Peltonen, Johannes Koskinen
FAC
2006
122views more  FAC 2006»
13 years 10 months ago
The verified software repository: a step towards the verifying compiler
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
Juan Bicarregui, C. A. R. Hoare, J. C. P. Woodcock
CSE
2009
IEEE
14 years 4 months ago
Privacy in Online Social Networking at Workplace
—Employees using social network sites (SNS) at workplace is a fact. As companies are further embracing social media, how if at all does this practice affect the work dynamics? Wh...
Yang Wang 0005, Alfred Kobsa