834 search results - page 102 / 167 » Anaphora and the Logic of Change |
95
Voted
JAR
2007
15 years 21 days ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
117
Voted
TOG
2008
15 years 21 days ago
2008
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
101
Voted
CSSE
2002
IEEE
15 years 18 days ago
2002
IEEE
This work presents a software-implemented fault tolerance approach for building a reliable database application in a CORBA environment. Database applications have functional requi...
IPM
2000
15 years 18 days ago
2000
We analyzed transaction logs containing 51,473 queries posed by 18,113 users of Excite, a major Internet search service. We provide data on: (i) sessions - changes in queries durin...
101
Voted
CMSB
2010
Springer
14 years 7 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...