1760 search results - page 243 / 352 » Program Analysis Using Weighted Pushdown Systems |
108
click to vote
CLEF
2006
Springer
15 years 6 months ago
2006
Springer
This paper details the participation of the XLDB group from the University of Lisbon at the GeoCLEF task of CLEF 2006. We tested text mining methods that make use of an ontology t...
103
click to vote
SIAMSC
2008
15 years 2 months ago
2008
Abstract. We propose and study a block-iterative projections method for solving linear equations and/or inequalities. The method allows diagonal component-wise relaxation in conjun...
139
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
—In distributed detection systems with wireless sensor networks, the communication between sensors and a fusion center is not perfect due to interference and limited transmitter ...
114
click to vote
ICSE
2004
IEEE-ACM
16 years 2 months ago
2004
IEEE-ACM
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
107
click to vote
TLDI
2009
ACM
15 years 11 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...