215 search results - page 21 / 43 » State-Transition Computation Models and Program Correctness ... |
100
Voted
ISBI
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
127
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
Ad-hoc networks of mobile devices such as smart phones and PDAs represent a new and exciting distributed system architecture. Building distributed applications on such an architec...
137
Voted
EMSOFT
2011
Springer
14 years 1 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
131
Voted
HASKELL
2006
ACM
15 years 7 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
141
Voted
CP
2008
Springer
15 years 3 months ago
2008
Springer
Modern computer architectures have complex features that can only be fully taken advantage of if the compiler schedules the compiled code. A standard region of code for scheduling ...