313 search results - page 41 / 63 » Solving Structured Polynomial Systems and Applications to Cr... |
TACAS
2010
Springer
14 years 3 months ago
2010
Springer
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
MEMBRANE
2009
Springer
14 years 3 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
BMCBI
2010
13 years 8 months ago
2010
Background: The task of recognizing and identifying species names in biomedical literature has recently been regarded as critical for a number of applications in text and data min...
SIGOPSE
2000
ACM
14 years 29 days ago
2000
ACM
The role of small devices in the emerging all-connected computer infrastructure is growing. So are the requirements that the application execution environments face. Portability, ...
ER
2007
Springer
14 years 2 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...