10707 search results - page 1940 / 2142 » Designing executable abstractions |
209
click to vote
MVA
2006
15 years 6 months ago
2006
Abstract This paper presents an approach to designing and implementing extensible computational models for perceiving systems based on a knowledge-driven joint inference approach. ...
183
click to vote
NJC
2006
15 years 6 months ago
2006
Abstract. General purpose theorem provers provide advanced facilities for proving properties about specifications, and may therefore be a valuable tool in formal program developmen...
259
click to vote
PERVASIVE
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Ubiquitous computing researchers are increasingly turning to sensorenabled "living laboratories" for the study of people and technologies in settings more natur...
156
click to vote
SCN
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Ethernet and IP form the basis of the vast majority of LAN installations. But these protocols do not provide comprehensive security mechanisms, and thus give way for a pl...
203
click to vote
SIAMJO
2008
15 years 6 months ago
2008
Abstract. We consider the offline and online versions of a bin packing problem called bin packing with conflicts. Given a set of items V = {1, 2, . . . , n} with sizes s1, s2 . . ....