2314 search results - page 166 / 463 » Monoids over domains |
106
click to vote
ICDE
2008
IEEE
15 years 8 months ago
2008
IEEE
— If we consider a query involving multiple domains, such as “find all database conferences held within six months in locations whose seasonal average temperature is 28◦ C a...
113
click to vote
ICDM
2008
IEEE
15 years 8 months ago
2008
IEEE
Recognizing and analyzing change is an important human virtue because it enables us to anticipate future scenarios and thus allows us to act pro-actively. One approach to understa...
128
Voted
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
We describe a new method to represent (partial) recursive functions in type theory. For every recursive definition, we define a co-inductive type of prophecies that characterises...
100
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— The chaos game, in which a moving point is repeatedly averaged toward randomly selected vertices of a triangle, is one method of generating the fractal called the Sierpinski tr...
110
click to vote
DATE
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...