1008 search results - page 105 / 202 » Canonicity! |
112
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
We present a calibration procedure to determine the kinematic parameters of an active stereo system in a robot-centric frame of reference. Our goal was to obtain a solution of su...
154
click to vote
ESEM
2009
ACM
15 years 8 months ago
2009
ACM
In the software engineering literature, many works claim that the use of design patterns improves the comprehensibility of programs and, more generally, their maintainability. Yet...
119
click to vote
NLPRS
2001
Springer
15 years 8 months ago
2001
Springer
We present an unsupervised method for canonicalizing joshi (postpositions) in Japanese. Some postpositions in Japanese do not specify semantic roles explicitly as case markers do,...
102
Voted
TACAS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Checking for language containment between nondeterministic ω-automata is a central task in automata-based hierarchical verification. We present a symbolic procedure for...
124
Voted
FOCS
2000
IEEE
15 years 8 months ago
2000
IEEE
A probabilistic algorithm is presented to find the determinant of a nonsingular, integer matrix. For a matrix A ¡£¢ n¤ n the algorithm requires O¥ n3¦5 ¥ logn§ 4¦5§ bit...