3775 search results - page 324 / 755 » The Expression Problem Revisited |
151
click to vote
FOSSACS
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...
196
click to vote
GBRPR
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We introduce a new framework for feature grouping based on factor graphs, which are graphical models that encode interactions among arbitrary numbers of random variables....
155
click to vote
ICALP
2007
Springer
16 years 28 days ago
2007
Springer
Abstract. We consider the minimum-time reachability problem in concurrent two-player timed automaton game structures. We show how to compute the minimum time needed by a player to ...
193
click to vote
WADS
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we explore, from an algorithmic point of view, the extent to which the facial angles and combinatorial structure of a convex polyhedron determine the polyhedron—in ...
178
click to vote
SAC
2006
ACM
16 years 22 days ago
2006
ACM
Aspect–Oriented Programming (AOP) is increasingly being adopted by developers to better modularize object–oriented design by introducing crosscutting concerns. However, due to...