Sciweavers

2620 search results - page 216 / 524
» Qualities in Possible Worlds
Sort
View
DAC
2006
ACM
16 years 7 months ago
Formal analysis of hardware requirements
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...
Ingo Pill, Simone Semprini, Roberto Cavada, Marco ...
CHI
2007
ACM
16 years 7 months ago
Recommendations on recommendations
This interactive session discusses the quality of recommendations for improving a user interface resulting from a usability evaluation. Problems with the quality of recommendation...
Josephine Scott, Kasper Hornbæk, Rolf Molich
SIGMOD
2008
ACM
122views Database» more  SIGMOD 2008»
16 years 7 months ago
Building query optimizers for information extraction: the SQoUT project
Text documents often embed data that is structured in nature. This structured data is increasingly exposed using information extraction systems, which generate structured relation...
Alpa Jain, Panagiotis G. Ipeirotis, Luis Gravano
ICASSP
2009
IEEE
16 years 1 months ago
Cheat-proof cooperation strategies for wireless live streaming social networks
Multimedia social network analysis is an emerging research area, which analyzes the behavior of users who share multimedia content and investigates the impact of human dynamics on...
W. Sabrina Lin, H. Vicky Zhao, K. J. Ray Liu
WABI
2009
Springer
16 years 1 months ago
MADMX: A Novel Strategy for Maximal Dense Motif Extraction
We develop, analyze and experiment with a new tool, called madmx, which extracts frequent motifs, possibly including don’t care characters, from biological sequences. We introduc...
Roberto Grossi, Andrea Pietracaprina, Nadia Pisant...