4460 search results - page 860 / 892 » Formal methods for interactive systems |
OOPSLA
2004
Springer
14 years 29 days 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
14 years 27 days 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
14 years 26 days 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
14 years 5 days 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
13 years 7 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...