Sciweavers

4029 search results - page 795 / 806
» Experience with Software Watermarking
Sort
View
115
Voted
BMCBI
2005
132views more  BMCBI 2005»
14 years 11 months ago
CLPM: A Cross-Linked Peptide Mapping Algorithm for Mass Spectrometric Analysis
Background: Protein-protein, protein-DNA and protein-RNA interactions are of central importance in biological systems. Quadrapole Time-of-flight (Q-TOF) mass spectrometry is a sen...
Yong Tang, Yingfeng Chen, Cheryl F. Lichti, Roger ...
JETAI
2007
131views more  JETAI 2007»
14 years 11 months ago
A computational architecture for heterogeneous reasoning
Reasoning, problem solving, indeed the general process of acquiring knowledge, is not an isolated, homogenous affair involving a one agent using a single form of representation, b...
Dave Barker-Plummer, John Etchemendy
JNW
2007
81views more  JNW 2007»
14 years 11 months ago
A Ubiquitous Care-Support Service based on Agent-oriented Multiple-Context Coordination
Abstract— This paper presents a gentle system for supervising care-support services that fulfill users’ actual requirements based on their physical locations and statuses of s...
Hideyuki Takahashi, Yoshikazu Tokairin, Kazuhiro Y...
TWC
2008
201views more  TWC 2008»
14 years 11 months ago
A Novel Algorithm for Multipath Fingerprinting in Indoor WLAN Environments
Abstract--Positioning in indoor wireless environments is growing rapidly in importance and gains commercial interests in context-awareness applications. The essential challenge in ...
Shih-Hau Fang, Tsung-Nan Lin, Kun-Chou Lee
ASE
2002
160views more  ASE 2002»
14 years 11 months ago
Proving Invariants of I/O Automata with TAME
This paper describes a specialized interface to PVS called TAME (Timed Automata Modeling Environment) which provides automated support for proving properties of I/O automata. A maj...
Myla Archer, Constance L. Heitmeyer, Elvinia Ricco...