Sciweavers

3907 search results - page 285 / 782
» Time, Knowledge, and Choice
Sort
View
EUSFLAT
2007
132views Fuzzy Logic» more  EUSFLAT 2007»
15 years 8 months ago
Towards to Automatic Tactics' Analysis in Soccer
One of the main problems in soccer is to coordinate in real time scale collective behavior of team members, who solve a common task by solving individual tasks. The specificity of...
Alexey N. Averkin, Anton Gusev, Mikhail Shestakov
NAACL
2003
15 years 8 months ago
A low-complexity, broad-coverage probabilistic Dependency Parser for English
Large-scale parsing is still a complex and timeconsuming process, often so much that it is infeasible in real-world applications. The parsing system described here addresses this ...
Gerold Schneider
CNL
2009
15 years 7 months ago
An Evaluation Framework for Controlled Natural Languages
This paper presents a general framework called ontographs that relies on a graphical notation and enables the tool-independent and reliable evaluation of human understandability of...
Tobias Kuhn
ENTCS
2006
99views more  ENTCS 2006»
15 years 6 months ago
Termination Criteria for Bounded Model Checking: Extensions and Comparison
Increasing attention has been paid recently to criteria that allow one to conclude that a structure models a linear-time property from the knowledge that no counterexamples exist ...
Mohammad Awedh, Fabio Somenzi
INFOCOM
2003
IEEE
16 years 4 hour ago
Optimal Bandwidth Reservation Schedule in Cellular Network
Abstract— Efficient bandwidth allocation strategy with simultaneous fulfillment of QoS requirement of a user in a mobile cellular network is still a critical and an important p...
Samrat Ganguly, B. R. Badrinath, Navin Goyal