Sciweavers

6082 search results - page 995 / 1217
» A System for Adaptive Information Retrieval
Sort
View
SAT
2009
Springer
126views Hardware» more  SAT 2009»
16 years 1 months ago
Extending SAT Solvers to Cryptographic Problems
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
Mate Soos, Karsten Nohl, Claude Castelluccia
GLOBECOM
2007
IEEE
16 years 1 months ago
Soft Sensing and Optimal Power Control for Cognitive Radio
We consider a cognitive radio system where the secondary transmitter varies its transmit power based on all the information available from the spectrum sensor. The operation of th...
Sudhir Srinivasa, Syed Ali Jafar
ODBIS
2007
Springer
144views Database» more  ODBIS 2007»
16 years 1 months ago
Maintaining Semantic Mappings between Database Schemas and Ontologies
There is a growing need to define a semantic mapping from a database schema to an ontology. Such a mapping is an integral part of the data integration systems that use an ontology...
Yuan An, Thodoros Topaloglou
MATA
2004
Springer
101views Communications» more  MATA 2004»
16 years 18 days ago
Mobile Tourist Guide Services with Software Agents
Applications for mobile devices have some restrictions because of the limited capabilities and heterogeneity of these devices. However, their communication capabilities allow the d...
Juan Pavón, Juan M. Corchado, Jorge J. G&oa...
SIGCSE
2010
ACM
145views Education» more  SIGCSE 2010»
16 years 17 days ago
How do computing faculty adopt curriculum innovations?: the story from instructors
This paper presents the findings of an exploratory, qualitative study revealing computing instructors’ experience in adopting curriculum innovations. We interviewed eight instru...
Lijun Ni, Tom McKlin, Mark Guzdial