3602 search results - page 96 / 721 » Isn't It About Time |
FLAIRS
2003
13 years 10 months ago
2003
In this paper, we discuss a formalism for modeling regions that are exposed to movement or deformation. The basis of our formalism is the RCC theory, which uses topological relati...
ENTCS
2008
13 years 9 months ago
2008
We present an extension to classical separation logic which allows reasoning about virtual memory. Our logic is formalised in the Isabelle/HOL theorem prover in a manner allowing ...
DM
2011
13 years 16 days ago
2011
A k-plex of a latin square is a collection of cells representing each row, column, and symbol precisely k times. The classic case of k = 1 is more commonly known as a transversal....
TABLETOP
2006
IEEE
14 years 3 months ago
2006
IEEE
In this work, we create social visualizations of aural group conversation. These visualizations are tailored to a table setting. Examples of such settings are a family sitting abo...
ESAW
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Exceptions occur frequently in supply-chains. Consequently, detecting exceptions timely is of great practical value. To enable a timely detection of exceptions, this pape...