Sciweavers

5290 search results - page 791 / 1058
» Information systems as social structures
Sort
View
SEDE
2007
15 years 8 months ago
An extensive math query language
Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of t...
Abdou S. Youssef, Moody Ebrahem Altamimi
JIIS
2002
109views more  JIIS 2002»
15 years 6 months ago
PVA: A Self-Adaptive Personal View Agent
In this paper, we present PVA, an adaptive personal view information agent system for tracking, learning and managing user interests in Internet documents. PVA consists of three pa...
Chien Chin Chen, Meng Chang Chen, Yeali S. Sun
MMS
2002
15 years 6 months ago
JINSIL: A middleware for presentation of composite multimedia objects in a distributed environment
In a distributed environment, the presentation of structured, composite multimedia information poses new challenges in dealing with variable bandwidth (BW) requirements and synchro...
Junehwa Song, Asit Dan, Dinkar Sitaram
CMPB
2010
97views more  CMPB 2010»
15 years 5 months ago
A ligand predication tool based on modeling and reasoning with imprecise probabilistic knowledge
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
Weiru Liu, Anbu Yue, David J. Timson
ICFEM
2010
Springer
15 years 5 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...