4460 search results - page 860 / 892 » Formal methods for interactive systems |
OOPSLA
2004
Springer
15 years 3 months ago
2004
Springer
Java workloads are becoming more and more prominent on various computing devices. Understanding the behavior of a Java workload which includes the interaction between the applicat...
ISMAR
2003
IEEE
15 years 3 months ago
2003
IEEE
Augmented Reality has now progressed to the point where real-time applications are being considered and needed. At the same time it is important that synthetic elements are render...
SENSYS
2003
ACM
15 years 3 months ago
2003
ACM
Many sensor network applications require that each node’s sensor stream be annotated with its physical location in some common coordinate system. Manual measurement and configu...
KDD
2009
ACM
15 years 2 months ago
2009
ACM
This paper aims at discovering community structure in rich media social networks, through analysis of time-varying, multi-relational data. Community structure represents the laten...
BMCBI
2007
14 years 10 months ago
2007
Background: Computational analysis of gene regulatory regions is important for prediction of functions of many uncharacterized genes. With this in mind, search of the target genes...