1737 search results - page 266 / 348 » On Interpolation in Existence Logics |
153
click to vote
IEEESCC
2009
IEEE
16 years 28 days ago
2009
IEEE
In Ambient Intelligence (AmI) environments, some services provided by AmI devices are often not visible to users and to other devices. The existing approaches deal with servicesâ€...
161
click to vote
LICS
2009
IEEE
16 years 27 days ago
2009
IEEE
Pointer programs are a model of structured computation within logspace. They capture the common description of logspace algorithms as programs that take as input some structured d...
152
click to vote
BPM
2009
Springer
16 years 26 days ago
2009
Springer
Despite the increasing maturity of contemporary Workflow Management Systems (WfMS), there still exist numerous process-aware application systems with more or less hard-coded proce...
170
click to vote
BTW
2009
Springer
16 years 26 days ago
2009
Springer
: Database schemas are used to describe the logical design of a database. Diverse groups of users have different perspectives on the schema which leads to different local schemas. ...
154
click to vote
PKDD
2009
Springer
16 years 24 days ago
2009
Springer
Web searches tend to be short and ambiguous. It is therefore not surprising that Web query disambiguation is an actively researched topic. To provide a personalized experience for ...