1791 search results - page 124 / 359 » Behavioral Operations |
176
click to vote
AAAI
2006
15 years 6 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
163
click to vote
SIGMOD
2010
ACM
15 years 8 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
164
Voted
POPL
2012
ACM
14 years 5 days ago
2012
ACM
The ideal software contract fully specifies the behavior of an operation. Often, in particular in the context of scripting languages, a full specification may be cumbersome to s...
160
click to vote
DAC
2011
ACM
14 years 4 months ago
2011
ACM
Flash memory is quickly becoming a common component in computer systems ranging from music players to mission-critical server systems. As flash plays a more important role, data ...
182
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...