Sciweavers

3311 search results - page 238 / 663
» Deductive Object Programming
Sort
View
129
Voted
ESIAT
2009
IEEE
15 years 7 days ago
Design of Distributed Architecture Based on Java Remote Method Invocation Technology
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
Delin Hou, Huosong Xia
108
Voted
LICS
2009
IEEE
15 years 9 months ago
Substructural Operational Semantics as Ordered Logic Programming
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
Frank Pfenning, Robert J. Simmons
CSCLP
2007
Springer
15 years 8 months ago
Preference-Based Problem Solving for Constraint Programming
Abstract. Combinatorial problems such as scheduling, resource allocation, and configuration have many attributes that can be subject of user preferences. Traditional optimization ...
Ulrich Junker
141
Voted
DALT
2007
Springer
15 years 8 months ago
Composing High-Level Plans for Declarative Agent Programming
Abstract. Research on practical models of autonomous agents has largely focused on a procedural view of goal achievement. This allows for efficient implementations, but prevents an...
Felipe Rech Meneguzzi, Michael Luck
AUIC
2006
IEEE
15 years 8 months ago
An interface test-bed for 'Kansei' filters using the touch designer visual programming environment
In the context of a larger project dealing with kansei analysis of movement, we present a basic method for applying real-time filters to human motion capture data in order to modi...
Rodney Berry, Masahide Naemura, Yuichi Kobayashi, ...