3993 search results - page 731 / 799 » Matchmaking for Structured Objects |
222
click to vote
POPL
2006
ACM
16 years 3 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
113
click to vote
STOC
2007
ACM
16 years 3 months ago
2007
ACM
We demonstrate an average-case problem that is as hard as finding (n)-approximate shortest vectors in certain n-dimensional lattices in the worst case, where (n) = O( log n). The...
115
click to vote
LCTRTS
2010
Springer
15 years 9 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...
136
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Social Network Analysis (SNA) has evolved as a popular, standard method for modeling meaningful, often hidden structural relationships in communities. Existing SNA tools often i...
123
click to vote
ICEIS
2009
IEEE
15 years 9 months ago
2009
IEEE
We propose two methods for constructing automated programs for extraction of information from a class of web pages that are very common and of high practical significance - varia...