1382 search results - page 247 / 277 » Formal Analysis of Online Algorithms |
126
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
When developing semantic applications, the construction of ontologies is a crucial part. We are developing a semiautomatic ontology construction approach, OntoCase, relying on ont...
135
click to vote
FSS
2010
15 years 2 months ago
2010
The paper investigates fuzzy relations on a finite domain in the cutworthy framework, dealing with a new property coming from the information theory. If the domain of a relation i...
148
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
148
click to vote
TSE
2010
15 years 2 months ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
156
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--The difficulties encountered in sequential decisionmaking problems under uncertainty are often linked to the large size of the state space. Exploiting the structure of th...