1961 search results - page 125 / 393 » PicoDBMS: Validation and Experience |
IJCAI
1997
15 years 15 days ago
1997
The paper proposes a set of principles and a general architecture that may explain how language and meaning may originate and complexify in a group of physically grounded distribu...
DAGSTUHL
1992
15 years 9 days ago
1992
DESMET was a DTI-backed project with the goal of developing and validating a methodology for evaluating software engineering methods and tools. The project identified nine methods...
114
click to vote
CADE
2010
Springer
15 years 8 days ago
2010
Springer
Abstract. In the context of deductive program verification, supporting floatingpoint computations is tricky. We propose an expressive language to formally specify behavioral proper...
GLOBECOM
2008
IEEE
15 years 7 days ago
2008
IEEE
— This paper makes use of the fluid-based approach to model the throughput of TCP Veno flow over wired/wireless networks. A generalized formula is derived between Veno’s thro...
ENGL
2007
14 years 11 months ago
2007
Abstract— In this paper, a new method of representing twodimensional shapes using fuzzy-symbolic features and a similarity measure defined over fuzzy-symbolic features useful for...