2468 search results - page 67 / 494 » Aggregation operators 2003 |
FCT
2003
Springer
14 years 2 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
ICANN
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...
IRI
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract)",4th Annual Walter Lincoln Hawkins Research Conference, RPI, November 2005. B. Hill, \Correlated Caching for Correlated Data", 2nd Annual Walter Lincoln Hawkins...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
JAN is a system for animated execution of Java programs. Its application area is program understanding rather than debugging. To this end, the animation can be customized, both by...
SI3D
2003
ACM
14 years 2 months ago
2003
ACM
: America’s Army If you go strictly by the number of young adults playing it at all hours, itʼs a success. But how does Americaʼs Army, the US Armyʼs free PC game strategic co...