996 search results - page 100 / 200 » A general method to speed up fixed-parameter-tractable algor... |
166
click to vote
ACSC
2006
IEEE
16 years 6 days ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
172
click to vote
TROB
2002
15 years 5 months ago
2002
This paper uses a configuration space ( -space) based method to compute interference-free configuration for stacking polyhedral sheet metal parts. This work forms the interference ...
142
click to vote
ESA
2004
Springer
15 years 11 months ago
2004
Springer
We study polynomials of degree up to 4 over the rationals or a computable real subfield. Our motivation comes from the need to evaluate predicates in nonlinear computational geome...
151
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We propose a new method for imaging sound speed in breast tissue from measurements obtained by ultrasound tomography (UST) scanners. Given the measurements, our algorithm finds a...
203
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
The Semantic Web community, until now, has used traditional database systems for the storage and querying of RDF data. The SPARQL query language also closely follows SQL syntax. A...