4403 search results - page 522 / 881 » Galois Theory of Algorithms |
188
click to vote
MOBICOM
2006
ACM
16 years 1 months ago
2006
ACM
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
231
click to vote
SCESM
2006
ACM
16 years 1 months ago
2006
ACM
Model Driven Development and Use Case Driven Development methodologies have inspired the proposal of a variety of software engineering approaches that synthesize statebased models...
209
click to vote
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
Vector Space Model (VSM) has been at the core of information retrieval for the past decades. VSM considers the documents as vectors in high dimensional space. In such a vector spa...
200
click to vote
LICS
2005
IEEE
16 years 1 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
214
click to vote
EMSOFT
2005
Springer
16 years 1 months ago
2005
Springer
We describe a system as a set of communicating concurrent programs. Quasi-static scheduling compiles the concurrent programs into a sequential one. It uses a Petri net as an inter...