Sciweavers

11066 search results - page 27 / 2214

» Linearity in Process Languages

21

LFCS
1994
Springer

75views Artificial Intelligence» more LFCS 1994»

Propositional Linear Temporal Logic and Language Homomorphisms

13 years 12 months ago

Propositional Linear Temporal Logic and Language Homomorphisms

Download users.ecs.soton.ac.uk

Ulrich Nitsche

claim paper

Read More »

22

WFLP
2000
Springer

99views Algorithms» more WFLP 2000»

Petri Nets, Flat Languages and Linear Arithmetic

13 years 11 months ago

Petri Nets, Flat Languages and Linear Arithmetic

Download skif.pereslavl.ru

Laurent Fribourg

claim paper

Read More »

25

ENTCS
2002

72views more ENTCS 2002»

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

13 years 7 months ago

Language Design Issues for Agents based on Linear Logic (Extended Abstract)

Download waitaki.otago.ac.nz

James Harland, Michael Winikoff

claim paper

Read More »

21

TOCL
2002

54views more TOCL 2002»

Datalog LITE: a deductive query language with linear time model checking

13 years 7 months ago

Datalog LITE: a deductive query language with linear time model checking

Download reference.kfupm.edu.sa

Georg Gottlob, Erich Grädel, Helmut Veith

claim paper

Read More »

25

EMNLP
2010

185views Natural Language Processing» more EMNLP 2010»

A Fast Decoder for Joint Word Segmentation and POS-Tagging Using a Single Discriminative Model

13 years 6 months ago

A Fast Decoder for Joint Word Segmentation and POS-Tagging Using a Single Discriminative Model

Download www.cse.ohio-state.edu

We show that the standard beam-search algorithm can be used as an efficient decoder for the global linear model of Zhang and Clark (2008) for joint word segmentation and POS-taggi...

Yue Zhang 0004, Stephen Clark

claim paper

Read More »

« Prev « First page 27 / 2214 Last » Next »