Sciweavers

475 search results - page 72 / 95
» An Environment for Telecollaborative Data Exploration
Sort
View
ENTCS
2008
106views more  ENTCS 2008»
13 years 7 months ago
Verifying Test-Hypotheses: An Experiment in Test and Proof
HOL-TestGen is a specification and test case generation environment extending the interactive theorem prover Isabelle/HOL. The HOL-TestGen method is two-staged: first, the origina...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
IEPOL
2007
58views more  IEPOL 2007»
13 years 7 months ago
Broadband adoption and content consumption
We explore how broadband access drives changes in the quantity and diversity of consumption of online content by using panel data that describes household Internet usage before an...
Lorin M. Hitt, Prasanna Tambe
CE
2007
96views more  CE 2007»
13 years 7 months ago
Mobile learning: A framework and evaluation
Wireless data communications in form of Short Message Service (SMS) and Wireless Access Protocols (WAP) browsers have gained global popularity, yet, not much has been done to exte...
Luvai F. Motiwalla
CHI
2009
ACM
14 years 2 months ago
WeSpace: the design development and deployment of a walk-up and share multi-surface visual collaboration system
We present WeSpace – a collaborative work space that integrates a large data wall with a multi-user multi-touch table. WeSpace has been developed for a population of scientists ...
Daniel Wigdor, Hao Jiang, Clifton Forlines, Michel...
NAACL
2003
13 years 9 months ago
Automatic Extraction of Semantic Networks from Text using Leximancer
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
Andrew E. Smith