Sciweavers

4666 search results - page 103 / 934
» Equations on Timed Languages
Sort
View
APPML
2006
65views more  APPML 2006»
15 years 26 days 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 24 days 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...
96
Voted
CICLING
2003
Springer
15 years 6 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
124
Voted
ATAL
1995
Springer
15 years 4 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 21 days 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...