11374 search results - page 124 / 2275 » Demonstration of the CROSSMARC System |
127
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
We show how it is possible to pair the NuSMV model checker with Akka, a software platform used to check validity of propositional modal formulas, to verify properties of multi-age...
137
click to vote
ITC
1998
IEEE
15 years 10 months ago
1998
IEEE
The ability to make in-situ performance measurements of MEMS operating at high speeds has been demonstrated using a new image analysis system. Significant improvements in performa...
171
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This demonstration presents the concepts, design, and implementation of SCDE, a relational database systems extended with the ability to solve constraint satisfaction problems (CS...
156
click to vote
BC
2000
15 years 6 months ago
2000
The existence and utilization of an internal representation of the controlled object is one of the most important features of the functioning of neural motor control systems. This ...
167
click to vote
LSSC
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We present an extension of an update technique for preconditioners for sequences of non-symmetric linear systems that was proposed in [5]. In addition, we describe an ide...