3128 search results - page 168 / 626 » Finite element method |
129
Voted
ACL
2010
15 years 1 months ago
2010
In recent years, research in natural language processing has increasingly focused on normalizing SMS messages. Different well-defined approaches have been proposed, but the proble...
126
Voted
ACL
1998
15 years 5 months ago
1998
We present a method for constructing, maintaining and consulting a database of proper nouns. We describe noun phrases composed of a proper noun and/or a description of a human occ...
153
Voted
SIAMNUM
2011
14 years 10 months ago
2011
Abstract. A finite volume scheme for transport and diffusion problems on evolving hypersurfaces is discussed. The underlying motion is assumed to be described by a fixed, not ne...
129
Voted
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
We show that characteristic formulae for nite-state systems up to bisimulationlike equivalences (e.g., strong and weak bisimilarity) can be given in the simple branching-time temp...
156
Voted
LICS
1999
IEEE
15 years 8 months ago
1999
IEEE
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every infinite class of ordered finite structures. It has b...