8232 search results - page 135 / 1647 » Dynamic Logic Programming |
142
Voted
WWW
2006
ACM
15 years 11 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
204
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
The paper describes a new approach using a Conditional Random Fields (CRFs) to extract physical and logical layouts in unconstrained handwritten letters such as those sent by indi...
157
Voted
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...
259
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
144
Voted
ISMVL
2003
IEEE
15 years 10 months ago
2003
IEEE
A new multiple-valued current-mode (MVCM) integrated circuit based on dynamic source-coupled logic (SCL) is proposed for low-power VLSI applications. The use of a precharge-evalua...