1124 search results - page 203 / 225 » Refined quorum systems |
TCS
2008
14 years 11 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
184
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
Aggregation is among the core functionalities of OLAP systems. Frequently, such queries are issued in decision support systems to identify interesting groups of data. When more tha...
SIGSOFT
2005
ACM
16 years 16 days ago
2005
ACM
Software evolution research inherently has several resourceintensive logistical constraints. Archived project artifacts, such as those found in source code repositories and bug tr...
142
click to vote
HPDC
1999
IEEE
15 years 4 months ago
1999
IEEE
We are developing a system for collaborative research and development for a distributed group of researchers at different institutions around the world. In a new paradigm for coll...
SIGGRAPH
1993
ACM
15 years 3 months ago
1993
ACM
Several common systems satisfy some but not all of the VR definition above. Flight simulators provide vehicle tracking, not head tracking, and do not generally operate in binocular...