1715 search results - page 230 / 343 » How Space Structures Language |
153
click to vote
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
127
click to vote
SIGCOMM
2006
ACM
15 years 8 months ago
2006
ACM
Many networking applications require fast state lookups in a concurrent state machine, which tracks the state of a large number of flows simultaneously. We consider the question ...
131
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
City environments often lack textured areas, contain
repetitive structures, strong lighting changes and therefore
are very difficult for standard 3D modeling pipelines.
We prese...
109
click to vote
RECOMB
2002
Springer
16 years 3 months ago
2002
Springer
Proteins are involved either directly or indirectly in all biological processes in living organisms. It is now widely accepted that conformational changes of proteins can critical...
133
click to vote
ICSM
2009
IEEE
15 years 9 months ago
2009
IEEE
Mainstream IDEs such as Eclipse support developers in managing software projects mainly by offering static views of the source code. Such a static perspective neglects any informa...