12981 search results - page 267 / 2597 » Model Checking (Abstract) |
154
click to vote
ICML
1999
IEEE
16 years 4 months ago
1999
IEEE
ing from Robot Sensor Data using Hidden Markov Models Laura Firoiu, Paul Cohen Computer Science Department, LGRC University of Massachusetts at Amherst, Box 34610 Amherst, MA 01003...
94
Voted
MEMOCODE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe race-free properties of a hardware description language called GEZEL. The language describes networks of cycle-true finite-state-machines with datapaths (FSMDs). We de...
135
click to vote
FPCA
1995
15 years 7 months ago
1995
Models of Memory Management Greg Morrisett Matthias Felleisen Robert Harper January 1995 CMU{CS{95{110 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Al...
110
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Where are all the semantic Web services today? In this paper, we briefly provide the preliminary results of searching the surface Web and the prominent citeseer archive ...
98
Voted
DEXA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Database integrity constraints, understood as logical conditions that must hold for any database state, are not fully supported by current database technology. It is typi...