1285 search results - page 205 / 257 » Structural Operators for Modeling 3-Manifolds |
92
Voted
JUCS
2008
15 years 17 days ago
2008
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
102
click to vote
ENTCS
2007
15 years 16 days ago
2007
As a first step toward a notion of quantum data structures, we introduce a typing system for reflecting entanglement and separability. This is presented in the context of classi...
112
Voted
TCAD
2008
15 years 15 days ago
2008
el Predicate Abstraction and Refinement Techniques for Verifying RTL Verilog Himanshu Jain, Daniel Kroening, Natasha Sharygina, and Edmund M. Clarke, Fellow, IEEE As a first step, ...
AI
2000
Springer
15 years 13 days ago
2000
Springer
Agent-based computing represents an exciting new synthesis both for Artificial Intelligence (AI) and, more generally, Computer Science. It has the potential to significantly impro...
99
Voted
CCE
2010
14 years 10 months ago
2010
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...