1481 search results - page 127 / 297 » Optimal Reductions in Interaction Systems |
139
Voted
HICSS
2005
IEEE
15 years 4 months ago
2005
IEEE
Ad hoc cross-agency teams are often needed to deal with actual, imminent, or potential crises that involve multiple geographic or political jurisdictions or require coordinated ex...
108
click to vote
IV
1999
IEEE
15 years 3 months ago
1999
IEEE
A method of using a texture mapping approach to color scales is described, for the purpose of visualizing continuous field scalar quantities. The technique is most appropriate whe...
161
click to vote
FROCOS
2011
Springer
13 years 11 months ago
2011
Springer
Abstract. Isabelle/HOL is a popular interactive theorem prover based on higherorder logic. It owes its success to its ease of use and powerful automation. Much of the automation is...
AI
2006
Springer
14 years 11 months ago
2006
Springer
In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which multiple users have distinct preferences. However, making su...
84
Voted
ICSOC
2005
Springer
15 years 4 months ago
2005
Springer
Web processes are next generation workflows on the web, created using Web services. In this paper we demonstrate the METEOR-S Configuration and Execution Environment (MCEE1 ) syste...