1965 search results - page 83 / 393 » On the analysis of interacting pushdown systems |
ICCD
2005
IEEE
14 years 5 months ago
2005
IEEE
Recent advances in Dynamic Power Management (DPM) techniques have resulted in designs that support a rich set of power management options, both at the hardware and software levels...
AIED
2007
Springer
14 years 3 months ago
2007
Springer
On-line discussion is a popular form of web-based computer-mediated communication and is an important medium for distance education. Automatic tools for analyzing online discussion...
CSB
2005
IEEE
14 years 2 months ago
2005
IEEE
The Ingenuity™ Pathways Knowledge Base (IPKB) contains over one million findings manually curated from the scientific literature. Highly-structured content from the IPKB forms...
ITCC
2005
IEEE
14 years 2 months ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
ISMAR
2003
IEEE
14 years 2 months ago
2003
IEEE
Mediated reality describes the concept of filtering our vision of reality, typically using a head-mounted video mixing display. We can redefine this idea in a more constructive ...