97 search results - page 14 / 20 » Separating systems and oriented graphs of diameter two |
RTA
2011
Springer
12 years 10 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
TKDE
2010
13 years 5 months ago
2010
—Authority flow and proximity search have been used extensively in measuring the association between entities in data graphs, ranging from the Web to relational and XML database...
FUIN
2007
13 years 7 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...
IDEAL
2003
Springer
14 years 17 days ago
2003
Springer
ERA is a multi-agent oriented method for solving constraint satisfaction problems [5]. In this method, agents make decisions based on the information obtained from their environmen...
TABLETOP
2007
IEEE
14 years 1 months ago
2007
IEEE
Ortholumen is a light pen based tabletop interaction system that can employ all the pen’s spatial degrees of freedom (DOF). The pen’s light is projected from above onto a hori...