2666 search results - page 432 / 534 » Computing with Evolving Proteins |
EDBT
2004
ACM
15 years 10 months ago
2004
ACM
Abstract. As XML schemas evolve over time or as applications are integrated, it is sometimes necessary to validate an XML document known to conform to one schema with respect to an...
ICFP
2008
ACM
15 years 9 months ago
2008
ACM
Reasoning about imperative programs requires the ability to track aliasing and ownership properties. We present a type system that provides this ability, by using regions, capabil...
CICLING
2010
Springer
15 years 4 months ago
2010
Springer
We present an approach for automatic detection of topic change. Our approach is based on the analysis of statistical features of topics in time-sliced corpora and their dynamics ov...
HYBRID
2010
Springer
15 years 4 months ago
2010
Springer
We consider an anytime control algorithm for the situation when the processor resource availability is time-varying. The basic idea is to calculate the components of the control i...
TEI
2009
ACM
15 years 4 months ago
2009
ACM
Many research efforts today explore how digitally augmented tables enable face-to-face interaction with digital content and applications. Yet the design of digital tables is still...