1895 search results - page 99 / 379 » Modular Functional Descriptions |
130
Voted
ISWC
2003
IEEE
15 years 7 months ago
2003
IEEE
In this paper we describe the MIThril 2003 wearable computing research platform. MIThril 2003 is a proven, accessible architecture that combines inexpensive, commodity hardware, a...
128
click to vote
AGP
1994
IEEE
15 years 5 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...
106
click to vote
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...
122
click to vote
ISICT
2003
15 years 3 months ago
2003
Historically, a typical avionics system architecture has been designed as a federated architecture of black-boxes with well-defined functions and implemented on fully dedicated co...
106
Voted
CGF
2010
15 years 2 months ago
2010
We propose a modular framework for robust 3D reconstruction from unorganized, unoriented, noisy, and outlierridden geometric data. We gain robustness and scalability over previous...