12194 search results - page 64 / 2439 » cans 2010 |
LREC
2010
13 years 10 months ago
2010
In this paper we will present work carried out to scale up the system for text understanding called GETARUNS, and port it to be used in dialogue understanding. The current goal is...
ENTCS
2006
13 years 8 months ago
2006
In general, invariants may depend on the state of other objects. The approach introduced in this paper allows this for objects of mutually visible classes, in a way that supports ...
AMC
2010
13 years 7 months ago
2010
Exact solutions of the Nizhnik-Novikov-Veselov equation by Li [New kink-shaped solutions and periodic wave solutions for the (2+1)-dimensional Sine-Gordon equation, Appl. Math. Co...
ALGORITHMICA
2010
13 years 8 months ago
2010
We present the first dynamic graph algorithm for recognizing interval graphs. The algorithm runs in O(n log n) worst-case time per edge deletion or edge insertion, where n is the ...
ENTCS
2007
13 years 8 months ago
2007
We present a method for pipeline verification using SMT solvers. It is based on a non-deterministic “mother pipeline” machine (MOP) that abstracts the instruction set archite...