1750 search results - page 154 / 350 » E-Commerce Development Procedure |
123
click to vote
SIGGRAPH
1995
ACM
15 years 8 months ago
1995
ACM
We have developed a system for interactive manipulation of shading parameters for three dimensional rendering. The system takes as input user-defined shaders, written in a subset ...
118
Voted
FAST
2010
15 years 7 months ago
2010
We focus on automatically diagnosing different performance problems in parallel file systems by identifying, gathering and analyzing OS-level, black-box performance metrics on eve...
136
click to vote
AAAI
2007
15 years 7 months ago
2007
Over the past half decade, we have been exploring the use of logic in the specification and analysis of computational economic mechanisms. We believe that this approach has the p...
120
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We describe Thor (Tool for Heap-Oriented Reasoning), a tool based on separation logic that is capable of reasoning automatically about heap-manipulating programs. There are several...
197
Voted
KR
2010
Springer
15 years 7 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...