5200 search results - page 1024 / 1040 » Symbolic models for control systems |
130
click to vote
UMUAI
2010
15 years 4 days ago
2010
Abstract. Pervasive computing creates possibilities for presenting highly personalised information about the people, places and things in a building. One of the challenges for such...
157
Voted
HEURISTICS
2010
14 years 8 months ago
2010
Operation management of underground passenger transport systems is associated with combinatorial optimization problems (known as crew and train scheduling and rostering) which bel...
113
click to vote
CIKM
2011
Springer
14 years 1 months ago
2011
Springer
The field of information retrieval has witnessed over 50 years of research on retrieval methods for metadata descriptions and controlled indexing languages, the prototypical exam...
164
Voted
PPOPP
2012
ACM
13 years 9 months ago
2012
ACM
This paper introduces a programming interface called PARRAY (or Parallelizing ARRAYs) that supports system-level succinct programming for heterogeneous parallel systems like GPU c...
242
click to vote
SIGCOMM
2012
ACM
13 years 4 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...