13383 search results - page 304 / 2677 » Abstractions from proofs |
174
click to vote
IJSNET
2008
15 years 6 months ago
2008
Abstract-- Future applications running on mobile platforms will sometimes need to query sensors and track sensor data over time. This paper uses the publishsubscribe paradigm as a ...
142
click to vote
JCC
2008
15 years 6 months ago
2008
Abstract: The dynamic behavior of monomeric Vpu1-32 from HIV-1 in different lipid environments has been studied. The peptide shows highly flexible behavior during the simulations a...
145
click to vote
BIOINFORMATICS
2005
15 years 6 months ago
2005
e: An interactive visualisation tool for clustering PubMed abstracts METIS: Multiple Extraction Techniques for Informative Sentences BioIE: extracting informative sentences from th...
208
click to vote
WOWMOM
2009
ACM
16 years 1 months ago
2009
ACM
We consider the case of sparse mobile sensors deployed to implement missions in challenging environments. This paper explores a notion of tour networks that is well suited to circ...
151
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Defining dependency models is sometimes an easier, more intuitive way for ontology representation than defining reactive rectly, as it provides a higher level of abstraction. We w...