Sciweavers

4666 search results - page 103 / 934
» Equations on Timed Languages
Sort
View
APPML
2006
65views more  APPML 2006»
15 years 5 months ago
A numerical scheme for regularized anisotropic curve shortening flow
Realistic interfacial energy densities are often non-convex, which results in backward parabolic behavior of the corresponding anisotropic curve shortening flow, thereby inducing ...
Frank Haußer, Axel Voigt
IEICET
2008
84views more  IEICET 2008»
15 years 5 months ago
Factorization of Square-Free Integers with High Bits Known
Abstract. In this paper we propose an algorithm of factoring any integer N which has k different prime factors with the same bit-length, when ( 1 k+2 + k(k-1) ) log N high-order bi...
Bagus Santoso, Noboru Kunihiro, Naoki Kanayama, Ka...
CICLING
2003
Springer
15 years 10 months ago
Natural Language in Information Retrieval
It seems the time is ripe for the two to meet: NLP has grown out of prototypes and IR is having hard time trying to improve precision. Two examples of possible approaches are consi...
Elzbieta Dura
ATAL
1995
Springer
15 years 8 months ago
Time, Knowledge, and Choice
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
Michael Wooldridge
SIAMAM
2008
170views more  SIAMAM 2008»
15 years 5 months ago
Absolute Stability and Complete Synchronization in a Class of Neural Fields Models
Neural fields are an interesting option for modelling macroscopic parts of the cortex involving several populations of neurons, like cortical areas. Two classes of neural field equ...
Olivier D. Faugeras, François Grimbert, Jea...