3690 search results - page 166 / 738 » Computation with classical sequents |
112
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
84
Voted
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract-- We propose distributed algorithms to automatically deploy a group of robotic agents and provide coverage of a discretized environment represented by a graph. The classic...
AI
2006
Springer
15 years 19 days ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
115
Voted
ENTCS
2006
15 years 18 days ago
2006
This paper extends the domain theoretic method for solving initial value problems, described in [8], to unbounded vector fields. Based on a sequence of approximations of the vecto...
104
Voted
JASIS
2008
15 years 17 days ago
2008
A new approach to the field normalization of the classical journal impact factor is introduced called the audience factor. This approach takes into consideration the citing propen...