Sciweavers

2956 search results - page 234 / 592
» Databases and Higher Types
Sort
View
HICSS
2006
IEEE
128views Biometrics» more  HICSS 2006»
15 years 10 months ago
Examining the Cognitive Style Effects on the Acceptance of Online Community Weblog Systems
Weblog is increasingly important over time with researchers anxious to learn why millions of Internet users are so eager to post their own diary on the web everyday. This study co...
Will Wai-Kit Ma, Pu Li, Theodore H. K. Clark
TPHOL
2002
IEEE
15 years 9 months ago
Free-Style Theorem Proving
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
David Delahaye
155
Voted
IADIS
2004
15 years 5 months ago
The Impact of Personality and Learning Styles on the Use of Laptop Computers in the Classroom
Past studies indicate that classes that utilize laptop technology in the classroom have higher scores on graded assignments than those who do not. Despite this finding, some stude...
Jamie Efaw, Jennifer Bailey
WCE
2007
15 years 5 months ago
Gene Selection for Tumor Classification Using Microarray Gene Expression Data
– In this paper we perform a t-test for significant gene expression analysis in different dimensions based on molecular profiles from microarray data, and compare several computa...
Krishna Yendrapalli, Ram B. Basnet, Srinivas Mukka...
JSAC
2006
81views more  JSAC 2006»
15 years 4 months ago
Fast linearized energy allocation for multimedia loading on multicarrier systems
Abstract--Efficient near-optimal energy allocation for multimedia data transmission using multicarrier modulation is investigated. The optimal method typically relies on an iterati...
Michael A. Enright, C. C. Jay Kuo