1071 search results - page 83 / 215 » Programming with enumerable sets of structures |
104
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
103
click to vote
MICRO
1997
IEEE
15 years 4 months ago
1997
IEEE
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
84
Voted
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
AAAI
1997
15 years 2 months ago
1997
In this paper, we propose a stochastic version of a general purpose functional programming language as a method of modeling stochastic processes. The language contains random choi...
95
Voted
COMGEO
2007
ACM
15 years 18 days ago
2007
ACM
Arrangements of planar curves are fundamental structures in computational geometry. Recently, the arrangement package of Cgal, the Computational Geometry Algorithms Library, has b...