3239 search results - page 509 / 648 » A Logical Process Calculus |
109
click to vote
LISP
2002
15 years 14 days ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
108
Voted
JUCS
2010
14 years 11 months ago
2010
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
137
Voted
SOCROB
2010
14 years 11 months ago
2010
Abstract. This paper presents a system for human-robot communication situated in an ambient assisted living scenario, where the robot performs an orderand-serve-procedure. The inte...
101
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
SMT solvers have traditionally been based on the DPLL(T) algorithm, where the driving force behind the procedure is a DPLL search over truth valuations. This traditional framework ...
129
click to vote
FLAIRS
2009
14 years 10 months ago
2009
Ensuring the consistency and completeness of Semantic Web ontologies is practically impossible, because of their scale and highly dynamic nature. Many web applications, therefore,...