15033 search results - page 269 / 3007 » Complexity Theory and Algorithms |
161
click to vote
SIGCSE
2004
ACM
16 years 20 days ago
2004
ACM
We describe the instructional software JFLAP 4.0 and how it can be used to provide a hands-on formal languages and automata theory course. JFLAP 4.0 doubles the number of chapters...
242
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
234
click to vote
GRC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--Sequential pattern mining is a crucial but challenging task in many applications, e.g., analyzing the behaviors of data in transactions and discovering frequent patterns ...
180
click to vote
GIS
2008
ACM
15 years 8 months ago
2008
ACM
One of the formalisms to qualitatively describe polylines in the plane are double-cross matrices. In a double-cross matrix the relative position of any two line segments in a poly...
166
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— An interferometric ranging technique has been recently proposed as a possible way to localize ad hoc and sensor networks. Compared to the more common techniques such as receive...